On 20 October 2014 15:38, Jonathan Wakely wrote: > The templates should also use 'typename' not 'class' but I can make > that change before committing it so no need for a new patch. No, no, no! Contributors must be punished, otherwise they will never learn! ;) Revised patch attached.