{"shas":[["3b0fdfcea43daf7818a0c688f3fbac161885f39d","ea91796269c7842d401af30276638d4aaa593379@googlemail.com","[r132256] Erase instructions _after_ checking their type.","Benjamin Kramer"]],"ref":"refs/heads/master","size":1,"head":"3b0fdfcea43daf7818a0c688f3fbac161885f39d","push_id":32533079}