diff options
| -rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 811db69..82b2c43 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -1224,7 +1224,7 @@ END $distro_ok ||= $gotdistro eq $distro; }; - $quit->("other distro") unless $distro_ok; + $quit->("not for this distro") unless $distro_ok; reject "missing \"$_\"" foreach keys %need; |