[galaxy-user] December 2013 Galaxy Update