Skip to content

build: use sphinx 1.8.6 instead of latest 8.2.6#358

Merged
DaanHoogland merged 1 commit intomainfrom
build-fix-202311
Nov 15, 2023
Merged

build: use sphinx 1.8.6 instead of latest 8.2.6#358
DaanHoogland merged 1 commit intomainfrom
build-fix-202311

Commits

Commits on Nov 15, 2023