Leo Famulari writes: > On Wed, Jun 15, 2016 at 07:41:39PM -0400, Kei Kebreau wrote: >> Indeed it is. A corrected patch is attached! > > Thanks, looks good! Alright then! Pushing it now. -- Kei (GPG Key: 4096R/E6A5EE3C19467A0D)