Bug#1042751: marked as pending in utop

2023-08-01 Thread Stéphane Glondu
Control: tag -1 pending Hello, Bug #1042751 in utop 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:

Processed: Bug#1042751 marked as pending in utop

2023-08-01 Thread Debian Bug Tracking System
Processing control commands: > tag -1 pending Bug #1042751 [utop] Missing deps when using "dune utop" Added tag(s) pending. -- 1042751: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042751 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems