Browse Source

ondrej is no longer making rpms

Nick Mathewson 7 years ago
parent
commit
2042080b21
1 changed files with 0 additions and 1 deletions
  1. 0 1
      doc/HACKING/ReleasingTor.md

+ 0 - 1
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