Subject: bug#25606: patches installed for 25605, 25606

From: Paul Eggert <[email-masked]>
Date: Sun, 5 Feb 2017 13:30:54 -0800

I installed patches for Bug#25605 and Bug#25606, along with all suggested 
revisions to the patches, and am closing the bug reports.