781738fe10153e808dbce08879618f1ce91d685f could ideally be merged in acdc44074fc79183c5813b1fad5ca2151cfd2d1b, but well, it might just be annoying for review. At least don't do it just now.
--- 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/1160#issuecomment-237558199
