[tor-commits] [tor/master] ondrej is no longer making rpms

[nickm at torproject.org]

commit 2042080b2108474c38b458a6e74cbe1bc185ea9d
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed Jun 15 12:55:40 2016 -0400

    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 5cfd238..8f5a47d 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