> deal.ii_9.1.1-9      ✔ (BDs on gmsh)

that should have been
> deal.ii_9.1.1-9      ✘ 

(need to investigate this one, but first glance does not look like it is
caused by opencascade.)

Reply via email to