Summary

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

Review Request #1131 — Created Nov. 12, 2021 and submitted Nov. 12, 2021, 3:34 a.m.

Owner

grim

Repository

gplugin/gplugin

Branch

default

Bugs

Depends On

Blocks

1132

Groups

People

Description

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

Testing Done

Ran the build with docs enabled until it succeeded.

Commits

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

Ship it!