From 775d660d019d6991e971f721a3f30659966574ae Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Tue, 7 May 2019 19:48:19 -0400
Subject: [PATCH] =?utf8?q?update=20index:=20actually=20haven=E2=80=99t=20d?=
 =?utf8?q?one=20any=20Rust=20in=20a=20while?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 44e3370..0bb507f 100644
--- a/index.html
+++ b/index.html
@@ -71,8 +71,7 @@
 
         <p>
           On the side, I dabble in <a href="https://leanprover.github.io">Lean</a>
-          and <a href="https://www.rust-lang.org">Rust</a>, and enjoy
-          <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
+          and enjoy <a href="https://stallman.org/articles/on-hacking.html">hacking</a> on
           <a href="https://www.gnu.org/software/emacs/manual/elisp.html">Emacs Lisp</a>.
           I&rsquo;m also a <a href="https://www.gnu.org/philosophy/free-sw.en.html">free software</a>
           and <a href="https://www.gnu.org/licenses/copyleft.en.html">copyleft</a>
-- 
2.20.1