On 31/10/15 00:02, William Blevins wrote: > Do you know what Issue number that corresponds to? That patch doesn't > look familiar to me. > > V/R, > William > Err. I think it was a discussion which never actually made it to an issue and I forgot to submit a patch.