[galaxy-announce] December 2013 Galaxy Update