From 2042080b2108474c38b458a6e74cbe1bc185ea9d Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Wed, 15 Jun 2016 12:55:40 -0400
Subject: [PATCH] ondrej is no longer making rpms

---
 doc/HACKING/ReleasingTor.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/HACKING/ReleasingTor.md b/doc/HACKING/ReleasingTor.md
index 5cfd238d02..8f5a47d827 100644
--- a/doc/HACKING/ReleasingTor.md
+++ b/doc/HACKING/ReleasingTor.md
@@ -147,7 +147,6 @@ Here are the steps Roger takes when putting out a new Tor release:
        - {weasel,gk,mikeperry} at torproject dot org
        - {blueness} at gentoo dot org
        - {paul} at invizbox dot io
-       - {ondrej.mikle} at gmail dot com
        - {lfleischer} at archlinux dot org
        - {tails-dev} at boum dot org
 
-- 
2.47.3