Yes it is! Can you please send email to control?

I do not know if the order of bug # in the merge command matter.

Are 

merge 21299 23523

and

merge 23523 21299

equivalent?

Or does the order matter?

On Thu, May 12, 2016 at 12:42 PM Glenn Morris <rgm@gnu.org> wrote:

Is this a duplicate of https://debbugs.gnu.org/21299 ?
--

--
Kaushal Modi