Sorry to misuse that
Hi. I just merged your MR as I was happy to find someone putting in the effort to perform maintenance tasks. IMHO people tend to fix these for themselves and just do not care about the public, which is why I particularly appreciated your MR despite its effective negligibility.
I use this as a mere tool to contact you, but I failed to find another way. There is no actual issue and my request to access your code is obsolete for the same reason. I am just curious as to who you are. You can contact me at max.kahnt@fu-berlin.de, also in German.
Best, Max