Open cortner opened 2 years ago
This is to check whether the committee code could be merged into main without too much trouble.
I merged main into committee. @davkovacs please test, we can revert this if needed. No need to merge the PR though, just making sure the branches don't diverge too much.
Thank you! it seems good to me.
This is to check whether the committee code could be merged into main without too much trouble.