[Github-comments] [geany] Use the word "symbol" instead of "tag" in the UI and documentation (#582)

Jiří Techet notifications at xxxxx
Thu Feb 11 14:41:44 UTC 2016


@b4n Just going through my pull requests and this one seems to be in the "zombified" state now - looks reviewed but unmerged. Would be nice to get in before string freeze. I haven't checked if it merges cleanly - just tell me if it needs to be updated.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/582#issuecomment-182892390
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160211/0b9b6ba4/attachment.html>


More information about the Github-comments mailing list