chiark / gitweb /
No more uneccesary warning messages. Fixes #103