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.