I unintentionally pushed the same commit directly to geany-plugins without making a pull request, sorry for that. If it's a problem, it can be reverted.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.