Processing commands for [email protected]: > # > # bts-link upstream status pull for source package src:cvc4 > # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html > # https://bts-link-team.pages.debian.net/bts-link/ > # > user [email protected] Setting user to [email protected] (was [email protected]). > # remote status report for #970511 (http://bugs.debian.org/970511) > # Bug title: cvc4: test failures on various architectures > # * https://github.com/CVC4/CVC4/issues/5082 > # * remote status changed: open -> closed > # * closed upstream > tags 970511 + fixed-upstream Bug #970511 [src:cvc4] cvc4: test failures on various architectures Added tag(s) fixed-upstream. > usertags 970511 - status-open Usertags were: status-open. There are now no usertags set. > usertags 970511 + status-closed There were no usertags set. Usertags are now: status-closed. > thanks Stopping processing here.
Please contact me if you need assistance. -- 970511: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=970511 Debian Bug Tracking System Contact [email protected] with problems -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
