On 14 May 2013 20:40, François Dumont wrote:
> Indeed, here is the patch to fix it. Also fix rendering of std::tr1
> unordered containers.

Excellent, thanks, this is OK to commit.

Reply via email to