2 commits

Author	SHA1	Message	Date
Miran	e7f280bd26	Remove deprecated stuff from stdlib (#14699) ... * update to the latest Jester * remove deprecated procs from some stdlib modules * 'criterion' is not maintained anymore and relies on obsolete stuff	2020-06-17 15:25:02 +02:00
Arne Döring	6e01be34ef	fixes #11903 (#11908)	2019-08-31 19:32:59 +02:00