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

Reply via email to