gi-docgen now errors if your annotations are wrong, so this fixes ours

Review Request #1131 — Created Nov. 12, 2021 and submitted — Latest diff uploaded

Information

gplugin/gplugin
default

Reviewers

gi-docgen now errors if your annotations are wrong, so this fixes ours

Ran the build with docs enabled until it succeeded.

Commits

Files