Closed vwxyzjn closed 1 year ago
Looks good to me. Once this has been merged (plus, importantly, first the PR in the Java repo, since this PR in the python repo will kind of depend on that one due to the submodule change), I'll be happy to test and see if everything's fine.
This PR fully migrates to the microrts master
cc @DennisSoemers