Processed: tagging 895104

Processing commands for cont...@bugs.debian.org: > tags 895104 - wontfix Bug #895104 [why3] why3: skip cvc4 autopkgtest on architectures without cvc4 Removed tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 895104: https://bugs.debian.org/cgi-bin/bu

Processed: tagging 895104

Processing commands for cont...@bugs.debian.org: > tags 895104 + wontfix Bug #895104 [why3] why3: skip cvc4 autopkgtest on architectures without cvc4 Added tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 895104: https://bugs.debian.org/cgi-bin/bugr