Hi Jiri, Happy new year to you too! It's been much work that needed to be finished before the year's end, and so the pull request has been delayed, that we were talking about. I'll get to it in a few days though. Considering the mentioned zombies there seem to be little hurry at the moment.
Cheers, Per
_______________________________________________ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
