doc: Assorted documentation comments - [merged]

[famedly-bot]

In GitLab by @agraven on Jan 31, 2023, 15:03

Merges agraven/doc-comments -> main

[famedly-bot]

In GitLab by @agraven on Jan 31, 2023, 15:03

requested review from @ghost, @jakibaki, @kate-shine, @ghost, @ghost, @ghost, and @ghost

[famedly-bot]

In GitLab by @agraven on Jan 31, 2023, 15:04

added 2 commits

• eccddc2b - 1 commit from branch main
• 5db81481 - doc: Assorted documentation comments

Compare with previous version

[famedly-bot]

In GitLab by @ghost on Jan 31, 2023, 15:13

approved this merge request