Fix a bug in version selector of documentation#38401

vbraun merged 1 commit intosagemath:developsagemath/sage:developfrom

kwankyu:p/versions-selector-from-local-fileskwankyu/sage:p/versions-selector-from-local-filesCopy head branch name to clipboard