On 2018-03-16 03:04 PM, Tom Tromey wrote: >>>>>> "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes: > > Simon> I took a quick look, it LGTM, but indeed having a constructor in > Simon> other_sections would make it nicer IMO. > > Yeah, it's a lot better. > > Tom Thanks for doing this, LGTM. Simon