chiark / gitweb /
resolved: avoid possible dereference of null pointer