Ship Mints wrote:
> Thank you. Will save confusion for people.

Thank you for your confirmation.

I forgot to include the bug ID in the commit message for the previous
patch, so I am attaching a revised version.  The patch itself has not
been changed.