[tbb-dev] Releasing 4.0.1 w/o update notification

Hey everyone,

I think it is probably most wise to release 4.0.1 without an in-browser update or update notification, or at best, only an update for Windows users.

If we do want to update only the Windows users, what's the best way to do that? Is it even a good idea, given that we're aware that it may actually break things for some of them due to https://trac.torproject.org/projects/tor/ticket/13594?

Right now, I am thinking the circumstances mean "no update" for this reason, but if anyone disagrees, feel free to say so.