From 2b24a05ebd597d54722d8a49c935173a1437632d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 23 Nov 2019 18:28:41 +0000
Subject: [PATCH] pubkeys: Do not mind missing serial

That just means 00000000

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 pubkeys.fl.pl | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/pubkeys.fl.pl b/pubkeys.fl.pl
index 43df2e1..226f4dd 100755
--- a/pubkeys.fl.pl
+++ b/pubkeys.fl.pl
@@ -311,10 +311,6 @@ keyset_load(const char *path, struct buffer_if *data_buf,
     int r=pkyylex();
     if (r) goto err_bad;
 
-    if (!c->had_serial) {
-	slilog(LI,M_ERR,"missing serial number in %s",path);
-	goto err_bad;
-    }
     if (!c->building->nkeys) {
 	slilog(LI,M_ERR,"no useable keys in %s",path);
 	goto err_bad;
-- 
2.30.2