On Tue, May 7, 2019 at 7:11 AM Michael Albinus <michael.albinus@gmx.de>
wrote:

> Michael Albinus <michael.albinus@gmx.de> writes:
>
> > I believe a closing parenthesis ")" is missing.
>
> PS: When this is fixed, the test passes for me.
>

Whoops. Sending fix now, and removing unstable tag.


>
> Best regards, Michael.
>