> I don't think this should block https://github.com/geany/geany/pull/3861 > either way, it's not its primary goal so we can always tweak for portal > quirks in a second time.
Agree, perhaps it wasn't clear that "this" in "not stop this being merged" above referred to #3861 -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3458#issuecomment-2156409581 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3458/[email protected]>
