ahojnnes · GitHub

Conversation

ahojnnes commented
Jan 2, 2026

Copy link Copy Markdown

Contributor

No description provided.

Use new optional typing

2c266bf

ahojnnes requested review from B1ueber2y and sarlinpe

January 2, 2026 13:23

B1ueber2y approved these changes Jan 2, 2026

View reviewed changes

ahojnnes enabled auto-merge (squash)

January 2, 2026 13:26

ahojnnes merged commit 9c82681 into main

Jan 2, 2026

13 checks passed

ahojnnes deleted the user/jsch/optional-typing branch

January 2, 2026 14:09

BrewTestBot mentioned this pull request

Mar 15, 2026

colmap 4.0.0 Homebrew/homebrew-core#272428

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants

Read the original on github.com ↗