@kugel- No, I rebased this PR on top of another (new) PR that I now think should be a prerequisite for it. Given that the present PR doesn’t seem to be going anywhere, I think it can be left as is for now. Maybe #1537 has more luck with merging, then I’ll update this one.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1114#issuecomment-315281610
