910d4f761a
This reverts commit 7e6c518ce4f316cba803a40c19160606a8bfab9f. I misinterpreted Github's CI failure in the notification tab and thought that I had broken CI on origin/master, so I panic-reverted before I merged it (I thought they had). On closer inspection, it appears that the CI failure was not from the tip that I merged. This PR resubmits the reverted change. I'll wait for OfBorg to finish this time. |
||
---|---|---|
.. | ||
coding-conventions.chapter.md | ||
contributing-to-documentation.chapter.md | ||
quick-start.chapter.md | ||
reviewing-contributions.chapter.md | ||
staging-workflow.dot | ||
staging-workflow.svg | ||
submitting-changes.chapter.md | ||
vulnerability-roundup.chapter.md |