1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/errdb/errdb.pl b/contrib/errdb/errdb.pl
index fc1919f6d..6423d8347 100755
--- a/contrib/errdb/errdb.pl
+++ b/contrib/errdb/errdb.pl
@@ -73,6 +73,7 @@ my $xrefs = {};
 while ( <> ) {
   chomp;
   ( my $errno, my $filename, my $line, my $description ) = split ( /\t/ );
+  $errno = substr ( $errno, 0, 6 ) unless $errno =~ /^7f/;
   $errors->{$errno} = $description;
   $xrefs->{$errno} ||= {};
   $xrefs->{$errno}->{$filename} ||= {};