Closed johnynek closed 1 year ago
@ianoc any thoughts? I assume just merging and iterating from here makes sense. If people don't want to upgrade, I guess they don't have to.
I did notice that some Maven tool was deleted. What was the reasoning there, do you recall?
I don't see any CI set up at the moment. I guess we should do that before merging a PR.
superceded by #321
Try to get development back on main.