Various fixes here and there

1 files changed, 10 insertions, 0 deletions

diff --git a/site/news/index.html b/site/news/index.html
index 5191f75..1bbb731 100644
--- a/site/news/index.html
+++ b/site/news/index.html
@@ -4,11 +4,21 @@
 
 <ul>
   <li>
+    On <strong>April 17, 2020</strong>, my first contribution to
+    Dune <a href="https://github.com/ocaml/dune/pull/3384">has been merged
+    to <code>master</code></a>.
+  </li>
+  <li>
     On <strong>April 2, 2020</strong>, I started using the rewriting of
     <a href="https://cleopatra.soap.coffee"><strong><code>cleopatra</code></strong></a>
     to build this website.
   </li>
   <li>
+    On <strong>April 1, 2020</strong>, my first contribution ever to
+    Coq <a href="https://github.com/coq/coq/pull/10592">has been merged
+    to <code>master</code></a>.
+  </li>
+  <li>
     On <strong>February 23, 2020</strong>,
     <strong><code>cleopatra</code></strong> has been completely
     bootstrapped, in that it generates itself!