chiark / gitweb /
Work around for broken def-type-method