On Sun, Nov 25, 2018 at 01:10:15AM +0700, Robert Elz wrote: > Provided it doesn't go on forever, and isn't just a rehash of > an earlier discussion, then discussing anything is never a > bad idea.... > > And it (kind of) seems to have already started.
Wasn't aware of prior discussion on this. If a PR helps take a step towards logical conclusion (either way), I have filed one (yet to receive a number). Mayuresh