On Thu, Jun 6, 2019 at 11:16 AM Christopher Samuel <ch...@csamuel.org> wrote:
> Sounds like a good reason to file a bug.

Levi did already. Everybody can vote at
https://bugs.schedmd.com/show_bug.cgi?id=7191 :)

Cheers,
-- 
Kilian

Reply via email to