Skip to content

CompatHelper: bump compat for Manopt to 0.5 for package docs, (keep existing compat)#813

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2024-08-30-00-24-58-812-00251211415