{"shas":[["21871f6badc8e4af5e685bd9f433117ce880c8be","713039939f1f5c2d9a511c73c7b7e627e50a0a65@ingenico.com","Added gdb init files (to have a backup)","sdettmer"],["9ece799d508645b117e5a530536751217d14f4d2","713039939f1f5c2d9a511c73c7b7e627e50a0a65@ingenico.com","Removed .gdbinit.py (is not needed any longer).","sdettmer"]],"ref":"refs/heads/master","size":2,"head":"9ece799d508645b117e5a530536751217d14f4d2","push_id":33503712}