Make sage-conf optional#37138

vbraun merged 3 commits intosagemath:developsagemath/sage:developfrom

tobiasdiez:conf-optionaltobiasdiez/sage:conf-optionalCopy head branch name to clipboard