Drop comments about already-merged pull request

(cherry picked from commit e19aaa4604)
This commit is contained in:
Zbigniew Jędrzejewski-Szmek 2021-12-03 15:48:12 +01:00
parent 07eb64ce34
commit 0892c0e617
1 changed files with 3 additions and 3 deletions

View File

@ -495,12 +495,12 @@ CONFIGURE_OPTS=(
-Dcdrom-gid=11
-Ddialout-gid=18
-Ddisk-gid=6
-Dinput-gid=104 # https://pagure.io/setup/pull-request/27
-Dinput-gid=104
-Dkmem-gid=9
-Dkvm-gid=36
-Dlp-gid=7
-Drender-gid=105 # https://pagure.io/setup/pull-request/27
-Dsgx-gid=106 # https://pagure.io/setup/pull-request/27
-Drender-gid=105
-Dsgx-gid=106
-Dtape-gid=33
-Dtty-gid=5
-Dusers-gid=100