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: