Processing commands for [email protected]: > # > # bts-link upstream status pull for source package src:why3 > # 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 #1098092 (http://bugs.debian.org/1098092) > # Bug title: why3: ftbfs with GCC-15 > # * https://gitlab.inria.fr/why3/why3/-/issues/901 > # * remote status changed: opened -> closed > # * closed upstream > tags 1098092 + fixed-upstream Bug #1098092 [src:why3] why3: ftbfs with GCC-15 Added tag(s) fixed-upstream. > usertags 1098092 - status-opened Usertags were: status-opened. There are now no usertags set. > usertags 1098092 + status-closed There were no usertags set. Usertags are now: status-closed. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1098092: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098092 Debian Bug Tracking System Contact [email protected] with problems
