[Git][reproducible-builds/reproducible-notes][master] Remove archived bugs

[Mattia Rizzolo]

Mattia Rizzolo pushed to branch master at Reproducible Builds / reproducible-notes


Commits:
e7e18d46 by automatic commit from Mattia Rizzolo at 2020-08-01T00:00:38+00:00
Remove archived bugs

- - - - -


1 changed file:

- packages.yml


Changes:

=====================================
packages.yml
=====================================
@@ -25713,10 +25713,6 @@ ssreflect:
   version: 1.10.0+dfsg-2
   issues:
     - nondeterministic_vo_files_generated_by_coq
-st:
-  version: 1.9-3.1
-  bugs:
-    - 791928
 stacks:
   version: 1.42-1
   issues:



View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/e7e18d46b03709ce591b5456837ba7e0200f0602

-- 
View it on GitLab: https://salsa.debian.org/reproducible-builds/reproducible-notes/-/commit/e7e18d46b03709ce591b5456837ba7e0200f0602
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.reproducible-builds.org/pipermail/rb-commits/attachments/20200801/be1b51f7/attachment.htm>