3 commits

Author	SHA1	Message	Date
Araq	bdb67201b2	fixes #10033 [backport]	2018-12-22 18:39:20 +01:00
Araq	30823c1ce3	make tests green	2014-08-31 15:15:26 +02:00
Araq	62a10df765	fixes yet another option type	2014-04-03 07:54:58 +02:00