On 7/26/2016 2:47 PM, Michael Bradshaw wrote: > Could this patch please be reapplied? It seems like it was accidentally > reverted in commit 5d48e4eafa6c4559683892b8638d10508125f3cf Done. I wonder how a merge did that to begin with.