Skip to content

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #703

Merge pull request #188 from DigiKlausur/disable_notebook_name_change

Merge pull request #188 from DigiKlausur/disable_notebook_name_change #703

build (3.12)

succeeded Feb 12, 2025 in 2m 24s