{"shas":[["37e144bfd2e2a2c99506cfdd4154b3741856a1b6","de5f4951f5d0e47ccf12a7f4f9a34749eea80543@gmail.com","Some of the functionality of the UndoRedoManager has been corrected.","marianbuenosayres"]],"ref":"refs/heads/master","size":1,"head":"37e144bfd2e2a2c99506cfdd4154b3741856a1b6","push_id":33070413}