Meta point: I kinda have to agree with @kugel- that his remark should have been addressed on way or another before merging, especially as it looks like a fairly easy change. Sure one can further improve things later, but it kind of misses the point of reviewing then; and requires a fairly higher involvement so is likely to lead to not happen even for a very simple fix, leading to the potentially worth remark to just be thrown away.
-- 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/1212#issuecomment-247559392
