Closed jeertmans closed 8 months ago
This avoids issues when page ids are changed by an editor, without actually changing the contents (except for annotations).
This avoids issues when page ids are changed by an editor, without actually changing the contents (except for annotations).