ahojnnes requested review from B1ueber2y and sarlinpe
January 25, 2025 10:26
ahojnnes
mentioned this pull request
B1ueber2y approved these changes Jan 25, 2025
ahojnnes enabled auto-merge (squash)
January 25, 2025 13:08ahojnnes
merged commit 81bc993
into
main
ahojnnes deleted the user/jsch/pycolmap-prior-options branch
January 25, 2025 13:23
BrewTestBot
mentioned this pull request
ahojnnes
mentioned this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment