Skip to content

workspace-manager: Fix a documentation warning

Robert Mader requested to merge rmader/mutter:warning into master

Pure comment should not start with two stars. Fixes a GIR creation warning introduced in 8038eaa9.

Merge request reports