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

..

jester-#head

Remove deprecated stuff from stdlib (#14699)

2020-06-17 15:25:02 +02:00

opengl-1.1.0

remove deprecated procs (#12535)

2019-11-05 11:05:46 +01:00

x11-1.0

[backport] Fix spelling typos (#12755)

2019-11-28 08:30:55 +01:00

zip-0.2.1

lots of small changes

2018-12-11 21:23:22 +01:00