Prepare for the 0.31.0 release

Review Request #676 — Created May 27, 2021 and submitted — Latest diff uploaded

Information

gplugin/gplugin
default
62408bf74229

Reviewers

Prepare for the 0.31.0 release

ran ninja dist as well as ninja all doc test on the resulting tarball.