Skip to content

Merge pull request #4023 from ralphr123/fix/shortcuts-subsuper #2262

Merge pull request #4023 from ralphr123/fix/shortcuts-subsuper

Merge pull request #4023 from ralphr123/fix/shortcuts-subsuper #2262

Annotations

1 warning

Release and changelog

succeeded Jan 23, 2025 in 45s