Please update my Tor address. I had a crash — same pubkey, but new Tor address.

It should update automatically. Did it not? Let me know so I can help!

It worked, finally 

I had the same problem. How log does It take to update the info?

SicSemperTyrannis: It should only take up to 24 hours from the time you updated it. If it doesn't update here and elsewhere, try changing the alias to something different back soon after. This should trigger an update everywhere.

Fixed, thanks.