Skip to content

CompatHelper: bump compat for Hecke in [weakdeps] to 0.35, (keep existing compat)#18

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2024-12-17-01-09-07-749-00015001475

Commits

Commits on Dec 17, 2024