That's the best way to fix the issue, IMO.
Regards, Aleksey Bragin
On 18.05.2016 19:51, Colin Finck wrote:
Right now, I'm restoring the repository to r71351 using backups and "svnadmin dump". This effectively erases r71352 from SVN history. As r71352 was only online for 10 minutes, I believe it's better to get rid of that commit in SVN history rather than having everyone suffer from it.