Bug#1051485: marked as pending in frama-c

Control: tag -1 pending Hello, Bug #1051485 in frama-c reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/frama-c/-/commit/44a21fd4818d1a014799201ad8a1c

Processed: Bug#1051485 marked as pending in frama-c

Processing control commands: > tag -1 pending Bug #1051485 [src:frama-c] frama-c FTBFS with why3 1.6.0 Added tag(s) pending. -- 1051485: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1051485 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems