[Github-comments] [geany/geany-plugins] Revert "Port both webhelper and markdown to webkit2gtk" (#749)

elextr notifications at xxxxx
Sun Jun 3 22:05:07 UTC 2018


>  Not sure if I'm just confused, but wasn't it already merged? I honestly thought this revert had already happened as I checked the diff and #746 and #677 had no differences for Markdown, so I didn't think it would be meaningful to merge until this revert happened.

@frlan AFAICT the merge of #746 happened, but not the this revert, see markdown [history](https://github.com/geany/geany-plugins/commits/master/markdown).  This is still a pull request that is not merged.  Not sure what is going to happen when this revert is applied, but as @codebrainz says, since #746 is a subset of #677, reverting #677 now may also revert #746.



-- 
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/749#issuecomment-394195198
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20180603/029ec1fe/attachment-0001.html>


More information about the Github-comments mailing list