7.2 Where to start after a pull

January 5, 2013 at 7:30 am #225
Rueben Berg
Keymaster

Sorry, I meant 11.5 and 11.7 – fixed now.