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
Andreas Rumpf	b85898cd41	fixes #5237	2017-01-19 13:26:22 +01:00