Make 8.0.2/4.0.2 public and prepare for next release#2303

Merged

jwillemsen merged 1 commit intoDOCGroup:masterfrom jwillemsen:jwi-803

Dec 6, 2024

+47-35

Commits on Dec 6, 2024

Make 8.0.2/4.0.2 public and prepare for next release
jwillemsen
committed