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.