[Github-comments] Re: [geany/geany] Make clearing symbols and documents filter consistent with other Geany entries (PR #4461)

[Colomban Wendling via Github-comments]

Merged #4461 into master.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/4461#event-21146150645
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/4461/issue_event/21146150...@github.com>