Fix typo in content/develop.md (!234) · Merge requests · Documentation / Developer Tutorial and Article Site · GitLab

The source project of this merge request has been removed.

Alexander Wilms requested to merge (removed):master into master Jan 14, 2023