This is a major bugfix release; let's call it 3.2

Also, installable on Firefox 22 (but not 23, pending
https://trac.torproject.org/projects/tor/ticket/8774)