7 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