GitHub DeleteEvent at 2014-07-14 11:36:54
Repository: mantid
Actor: DanNixon
Payload: ref: bugfix/8513_fix_script_window_save_exception
ref_type: branch
pusher_type: user