Introduce unique numbering for bugs

This commit is contained in:
Alex Beregszaszi
2021-05-12 13:49:14 +01:00
parent 02718cabcf
commit 94f7d281d0
2 changed files with 51 additions and 0 deletions
+4
View File
@@ -33,6 +33,10 @@ contracts should consult this list according to the following criteria:
The JSON file of known bugs below is an array of objects, one for each bug,
with the following keys:
uid
Unique identifier given to the bug in the form of ``SOL-<year>-<number>``.
It is possible that multiple entries exists with the same uid. This means
multiple version ranges are affected by the same bug.
name
Unique name given to the bug
summary