r<#secure method=pgpmime mode=sign> Stephan Kramer <s.kramer at imperial.ac.uk> writes: >> I believe this is fixed in 'next'. If you check there, I'll merge it to >> 'master'. >> > > Great. That fixes it indeed Thanks, it's in 'master' now.