On Thu, 2020-03-19 at 18:03 -0700, Randy Dunlap wrote: > On 3/18/20 7:37 PM, Joe Perches wrote: > > On Wed, 2020-03-18 at 19:11 -0700, Randy Dunlap wrote: > > > I'm fairly sure that the [begin, end) notation is done on purpose, meaning > > > > > > <begin> is included in the range and <end> is not included in the range. > > > > OK, that seems a pretty obscure and not obvious use of > > interval notation, at least to me. (18 uses treewide ?) > > > > Maybe it could be documented somewhere? > > I thought about where to put that and came up empty. No worries then, it's likely not _too_ obscure to anyone that's sent a log for analysis.