Subject: Re: Run 'make change-history' on release branch

From: Paul Eggert <[email-masked]>
Date: Fri, 12 Feb 2016 16:52:07 -0800

This was done by Nicolas Petton on 2016-01-30 in commit 
a4ab2a563a062e76b9e79befd3a80fdbea523f16 so I am marking the bug as done.