GitHub PushEvent at 2014-12-04 19:01:00
Repository: mantid
Actor: JohnRHill
Payload: {"shas":[["130ea1ed42dde90be5032d37f61dde5cf5a5f561","2adef6797f794c1237de37535d96813183d1d5d0@stfc.ac.uk","Refs #7938 add codepage def","John Hill",false],["b0032947d157db829b5be530f59bd95a10b6bb11","2adef6797f794c1237de37535d96813183d1d5d0@stfc.ac.uk","Merge branch 'feature/7938_improve_script_editor' into develop","John Hill",true]],"size":2,"ref":"refs/heads/develop","head":"b0032947d157db829b5be530f59bd95a10b6bb11"}