chiark / gitweb /
Fix decoding of line numbers.