Subject: Re: bug#21357: Bug #21357 is a duplicate of #14619

From: Eli Zaretskii <[email-masked]>
Date: Tue, 03 Nov 2015 18:04:49 +0200

> From: Random832 <[email-masked]>
> Date: Tue, 03 Nov 2015 10:39:46 -0500
> 
> 
> Sorry about this, I had not found the original bug when I searched
> before reporting the bug.

No need to apologize, but please do merge them.

Thanks.