[Github-comments] [geany/geany] Fix crash when plugin_set_key_group() is called several times by plugins (#1426)

elextr notifications at xxxxx
Mon Apr 3 23:09:19 UTC 2017


ok, there are two ways of looking at this:

1) no visible code uses it, and no other reports of the problem, and since @techee already has the fix there is no rush to commit this and it can be committed when @techee publishes his super-plugin

2) since this function is effectively part of the code of `plugin_set_key_group()` (which is the only user, so the fix cannot affect other code, by inspection), and that is in the API, the bug report should be fixed before anyone else uses it

I incline to the second view, so it nobody objects within a few days will commit it.

-- 
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/1426#issuecomment-291306621
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170403/12f39902/attachment.html>


More information about the Github-comments mailing list