Andrew Tropin writes: > Thank you for the patch, applied, reformatted to fit 80 columns, updated > commit message, pushed as 8d8b9a4c0c6273ce1680233ae234294f511e81b6. This does look to be merged, so marking as done.