elliotzlin

I hadn't even noticed that! I hope it's not some JFlex side-effect that I unwittingly triggered with my change.

@rmuir @dweiss I wanted to follow up on this. Is there anything I should work on here or is this good to go?

@dweiss can you help run the workflows again?

@rmuir would you be able to help with running the workflows?

@dsmiley apologies for my delay in getting back to your comment! I don't have any qualms about refactoring to deter people from using this. I took up this ticket more...

@dweiss @rmuir bumping this old thread again.

@dweiss @rmuir apologies for reviving this ancient thread, but I was wondering if one of you can help run the PR checks again?