Skip to content

Conversation

gsmet
Copy link
Contributor

@gsmet gsmet commented Mar 22, 2018

@mbenson
Copy link
Contributor

mbenson commented Mar 22, 2018

This looks like what I would expect. :)
Verified resolved issue for me.

@gunnarmorling gunnarmorling merged commit 9fde64a into jakartaee:master Mar 26, 2018
@gunnarmorling
Copy link
Contributor

Applied. Thanks for the confirmation @mbenson and thanks for the fix, @gsmet!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants