chiark / gitweb /
Defgenerics added to get rid of a few style-warnings