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

Reply via email to