On Sun, Sep 10, 2017 at 6:06 PM, Athos Ribeiro <athoscribeiro(a)gmail.com> wrote:
On Sun, Sep 10, 2017 at 05:57:04PM +0300, Alexander Ploumistos
wrote:
> As far as I can tell, we do not have a bug opened for this issue, or do we?
AFAIK, no, we don't.
I'll take care of it.