Skip to content

Skip edit for shared document options when disabled (#872)

Created by: racke

Fixed and tested, albeit kind of ugly.

Merge request reports