On Mon, Aug 20, 2018 at 10:19:49PM -0300, Alvaro Herrera wrote:
> Yeah, we should omit the sequence too. I don't see any principled
> reason to think that the sequence is interesting on its own.
I was just looking at this issue, or both of you are already on it?
--
Michael