Hi Ralf, Quoting Johannes Schauer Marin Rodrigues (2021-01-11 07:11:07) > did you test this? As I already pointed out when we talked about this in > connection with dose3, I had libjs-highlight.js installed the whole time. I > just upgraded ocaml-odoc and the problem still persists.
scratch that. The bug is fixed. The tests on ci.debian.net are successful now. Thanks! cheers, josch
signature.asc
Description: signature
