pushed REPREPRO to 4.12.5
pushed TOR to 0.2.2.39