JOURNAL FOR OCTOBER, 2015 -- Up to Main Index -- Up to Journal for 2015 ~ Journal for Friday 2nd October, 2015 Did you hear something? ~ Journal for Wednesday 7th October, 2015 Public dev branch updated ~ Journal for Tuesday 13th October, 2015 Code Hygiene ~ Journal for Tuesday 27th October, 2015 Website changes ~ Journal for Saturday 31st October, 2015 Happy Halloween! Locking, IDs & minor dev branch update