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:

Reply via email to