Commit c581fe5f authored by André Anjos's avatar André Anjos

Merge branch 'issue-30' into 'master'

Add tests to detect the problem reported on this issue

Closes #30

See merge request !36
parents 3813cbcb ab2e9b94
Pipeline #18298 failed with stages
in 27 minutes and 42 seconds