fixed missing const revealed by buildbot #25

Triggered via push December 8, 2023 19:43

chacha21

dropcache

Status Success

Total duration 18m 53s

Artifacts 2

doc_build.yml

on: push

Produced during runtime

Name	Size
HTML Expired	77 MB
PDF Expired	3.86 MB