Skip to content

Complete renamings

Ian Jackson requested to merge rename-internal into main

Rename and tidy various things, mostly in the internals.

Merge request reports