3 Commits

Author	SHA1	Message	Date
Jan	2bb1e1d3e1	fix issue #8108 (#8122)	2019-02-07 13:03:13 +01:00
Jan	e42befdc52	do not simplify non-deterministic conditions (#7926)	2019-01-11 14:48:34 +01:00
Jan	6d54518145	forward port changes from 3.4 (#6849)	2018-10-12 17:49:17 +02:00