On 16/07/2018 19:11, Mark Linimon wrote: > On Mon, Jul 16, 2018 at 06:53:28PM +0000, Pedro F. Giffuni wrote: >> Update libstdc++ configuration. > Will FreeBSD version be incremented for this? > > mcl I thought about it, but then I was not sure anyone will notice. Nevermind, version bumps are cheap I will do it. Pedro.