Skip to content

fix: resolve GNU bear-off die ambiguity to the larger die#45

Merged
nodots merged 1 commit into
mainfrom
fix/matcher-prefer-larger-die
Jun 7, 2026
Merged

fix: resolve GNU bear-off die ambiguity to the larger die#45
nodots merged 1 commit into
mainfrom
fix/matcher-prefer-larger-die

fix: resolve GNU bear-off die ambiguity to the larger die

1d763c8
Select commit
Loading
Failed to load commit list.

There are no checks for this commit