On Sat, 16 Mar 2013 17:11:41 +0100 Tor Admin tor@linuxlounge.net wrote:
I don't know who is responsible for the mirror instructions webpage at
but I'd like him/her to update the nginx configuration to include a directory index for the dist-directory.
Thanks. Just added with svn commit 26111:
https://lists.torproject.org/pipermail/tor-commits/2013-March/053863.html