Subject: Re: Run 'make change-history' on release branch
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 12 Feb 2016 16:52:07 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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