Skip to content

Reporting that EOI is also possible? #540

Answered by zesterer
carueda asked this question in Q&A
Discussion options

You must be logged in to vote

Ah, it turns out that this was a minor bug in the implementation of end, likely caused by an internal change made a few months ago. I've just fixed this in 36f8e8b and all should now be good :)

Replies: 3 comments

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Answer selected by carueda
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants