On 25 Jun 2019, at 13:00, moose-dev-request@list.inf.unibe.ch wrote:

thanks doru this is important for the credibility of the community.

On 25 Jun 2019, at 00:29, Tudor Girba <tudor@tudorgirba.com> wrote:

Oh. Thanks for the report. We will fix that.

Doru