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.
