Prepare for the 0.42.0 release

Review Request #2820 — Created Nov. 16, 2023 and submitted — Latest diff uploaded

Information

gplugin/gplugin
default

Reviewers

Prepare for the 0.42.0 release

Ran ninja dist

Commits

Files