sunfishcode opened PR #2657 from sunfishcode/0.23.0
to main
:
This updates a few .gitmodules entries and depedency versions in preparation for releasing 0.23.0.
sunfishcode requested cfallin for a review on PR #2657.
cfallin submitted PR Review.
sunfishcode updated PR #2657 from sunfishcode/0.23.0
to main
.
sunfishcode updated PR #2657 from sunfishcode/0.23.0
to main
.
sunfishcode updated PR #2657 from sunfishcode/0.23.0
to main
.
sunfishcode updated PR #2657 from sunfishcode/0.23.0
to main
.
sunfishcode edited PR #2657 from sunfishcode/0.23.0
to main
:
This updates a few .gitmodules entries and depedency versions in preparation for releasing 0.23.0.This uses a specially-modified publish script to avoid bumping witx, so this is only a version bump and not a .gitmodules change.
sunfishcode merged PR #2657.
Last updated: Dec 23 2024 at 12:05 UTC