On 11/26/2015 7:49 AM, Daniel Murphy wrote: > On 27/11/2015 1:37 AM, Jacob Carlborg wrote: >> On 2015-11-26 12:47, Daniel Murphy wrote: >> >>> We get to delete the non-boost INI parser from the frontend! >> >> How much trouble is that causing? >> > > None, it just annoys me. I agree with Daniel on that point.