[#4561] ensure that the svn repo actually gets flushed during clone_from/refresh_heads
Authored by: Dave Brondsema 2012-07-19
Parent(s): [bf3c76]
Child(ren): [a64895]