chiark / gitweb /
fix uninitialized name_list error::ignore_error