Commit Graph

57 Commits

Author SHA1 Message Date
chriseth
9df7a6fa29 Update permalink for optimizer bug and fix release date. 2017-05-03 12:39:54 +02:00
chriseth
794a390c34 Fix keys for bugs.json. 2017-05-03 11:09:21 +02:00
chriseth
d87eb97895 Add entry to bug list. 2017-05-02 12:22:11 +02:00
chriseth
11d30ec04f Some changes after review. 2017-04-18 11:40:00 +02:00
chriseth
10c32362ea Prefix all optimizer bug names by Optimizer. 2017-04-12 15:37:06 +02:00
chriseth
feacfcfd20 Typo and more explanation. 2017-04-12 15:35:25 +02:00
chriseth
291ece2bdb List of known bugs. 2017-04-12 12:23:34 +02:00