Skip to content

Use more markdown (notably for NEWS.md) and some small build tweaks

Michael Terry requested to merge markdown into master

Merge request reports