Wait… nope I messed up, `master` branch is not the tip anymore, they switched to `main`. I'll do the checking again, but I'm less optimistic that they have it fixed.
-- 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-plugins/pull/1017#issuecomment-715888979
