From c9949b6ef9e68c4801e7496bed768144a38ccb1e Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 5 Mar 2020 11:29:18 +0000
Subject: [PATCH]

---
 nlnet_proposals.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index f819f3ce5..122b5dafb 100644
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -48,3 +48,7 @@
 # Formal Proofs
 
 Evgeny Ukhanov.
+
+# Coriolis2 links
+
+* <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>
-- 
2.30.2