Flagged Out-of-Date Comment: gnome-shell-extension-reorder-workspaces-git

matthias.rudnick flagged gnome-shell-extension-reorder-workspaces-git out-of-date on 2023-10-11 (UTC) for the following reason:

==> FEHLER: Ein Fehler geschah in package(). Breche ab... -> Fehler beim Erstellen: gnome-shell-extension-reorder-workspaces-git-exit status 4