[fix] remove obsolete paragraph (!2) · Merge requests · documents / RFCs · GitLab

The source project of this merge request has been removed.

Hugo Trentesaux requested to merge (removed):master into master Nov 13, 2020