Subject: [xml2rfc] Core Dump? Really?

From: Carsten Bormann <[email-masked]>
Date: Tue, 12 Feb 2019 22:44:53 +0100

https://travis-ci.org/cbor-wg/cddl/builds/492392314

(A local `make gh-pages` appears to save me.)

Grüße, Carsten