Drop comments about already-merged pull request

This commit is contained in:
Zbigniew Jędrzejewski-Szmek 2021-12-03 15:48:12 +01:00
parent 6ffa8d89d6
commit e19aaa4604
1 changed files with 3 additions and 3 deletions

View File

@ -496,12 +496,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