New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

added test for issue #3321 #3324

Merged

nharrand merged 3 commits into INRIA:master from gibahjoe:issue-3321-test

Apr 30, 2020

Contributor

gibahjoe commented Apr 12, 2020

Added failing test for issue #3321

gibahjoe and others added 3 commits

April 12, 2020 23:23


          added test for issue INRIA#3321

33b5731


          Mark the failing test case as such

bcbda17


          Adding missing imports

36cc317

nharrand merged commit 4bc09ac into INRIA:master

Collaborator

nharrand commented Apr 30, 2020

Thanks for the issue reproduction!

monperrus mentioned this pull request

chore: release of 8.2.0 #3501

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet