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.