Re: Bump version namespace and remove _Rb_tree useless template parameter

[Jonathan Wakely]

On 10/05/17 11:15 +0200, Paolo Carlini wrote:

Hi,

On 10/05/2017 11:12, Jonathan Wakely wrote:

Looks good to me. Paolo, what do you think about bumping the versioned
namespace and SONAME to 8?

Sure, makes sense to me too.

Please commit it then, François - thanks!