Prepare for the 0.40.0 release

Review Request #2264 — Created Feb. 23, 2023 and submitted — Latest diff uploaded

Information

gplugin/gplugin
default

Reviewers

Prepare for the 0.40.0 release

Ran ninja dist

Commits

Files