chiark / gitweb /
Fix segv introduced by 2fd069b18e525860514a70d3ea08410ca122d3e2