Hello, > On Dec 11, 2020, at 8:31 AM, Philippe Marschall > <philippe.marsch...@gmail.com> wrote: > >> Do you have the ability to file an issue? If not, I can do so. > > I don't have the ability to file an issue. The bug that Pavel found is > enough for me to work on for now. If you believe pursuing two other > improvements would be worthwhile I could work on them as well if you > file issues for them.
I think perhaps they could all go in the same PR as the things are quite related. It would be good to have simple JMH benchmarks to measure the improvements. The benchmark code does not necessarily have to be in the PR, i.e., checked in. Thanks, Brian