nodejs-github-bot added doc

Issues and PRs related to the documentations.

tools

Issues and PRs related to the tools directory.

Issues and PRs related to the vm subsystem.

labels

Sep 30, 2020

devsnek added request-ci

Add this label to start a Jenkins CI on a PR.

and removed tools

Issues and PRs related to the tools directory.

labels

Sep 30, 2020

aduh95 added the author ready

PRs that have at least one approval, no pending requests for changes, and a CI started.

label

Feb 5, 2021

danielleadams pushed a commit that referenced this pull request

Feb 16, 2021

This reverts commit  2d5d773 .
See: #32985
See: #33364
See: #33166
Fixes: #31860
PR-URL: #35431
Reviewed-By: Matteo Collina <matteo.collina@gmail.com>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Ujjwal Sharma <ryzokuken@disroot.org>

This was referenced

Feb 16, 2021

Closed

Merged