[Github-comments] [geany/geany-plugins] Misc build related fixes (#206)

Fri Jul 12 13:49:45 UTC 2019

IMHO we could close this unmerged if PR #882 gets merged because all issues then seem to have been fixed in other PRs.

@b4n, @kugel-: what do you think?

-- 
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/206#issuecomment-510893578
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190712/9072af1e/attachment.html>