ondrej is no longer making rpms

diff --git a/doc/HACKING/ReleasingTor.md b/doc/HACKING/ReleasingTor.md
index 5cfd238d0266ded462855cb8136113a02d89ecf1..8f5a47d8276a2adbe8c275840c0233da7ca3bd1b 100644 (file)
--- 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