tree 73c78c0048b1baf48ef0010929212993a9025fe3
parent 2a28a928bf385bdf375ca09bebde14627c6c17a1
author Andreas Rossberg <rossberg@mpi-sws.org> 1555402938 +0200
committer GitHub <noreply@github.com> 1555402938 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJctZC6CRBK7hj4Ov3rIwAAdHIIACGLSP6lVPfk8mzn8dyXTZL4
 Pv1LJMEx5jizp5TqO5P7m1w1yiq0O8jIoFwC3MpOE+3NKIIKiBBKoAWm1kg4ktG4
 s+eE9z3oTTvh8pIBB69vnuBddGBkVbrAPIIguCqspPkKDtVo0wmOaX0CDYeMWE9l
 YpVOvZxss+mcjtvXQJXBKSWHt6a9HmO/rAKxPMiAXn1/76cKaGBCKlPoVtl6lNmx
 Vei3roPYuLYKAnpt2ccLf86DYUP3LRbs13exBVADqTERgivMiyqm9ZxBro5JkKyE
 17uxYTRVGWonRIawTcJkK1vCgRrmr0U1a9dfGe6Q2G0UpDUF6RE6iDFRy+HKARk=
 =3xsI
 -----END PGP SIGNATURE-----
 

[spec] Add paragraph break for more emphasis (#1001)