{"head":"20c7547ccfd8b842e64442c386468f5141d80b31","size":2,"push_id":44118168,"shas":[["6b357c3e89bc9819c883378ce0280df6f6ceaad9","fada1e95413b9564f37ab0058e71316031f151e2@itccanarias.org","typo fixed","Jorge Ballesteros"],["20c7547ccfd8b842e64442c386468f5141d80b31","fada1e95413b9564f37ab0058e71316031f151e2@itccanarias.org","InsertCollision renamed to InsertDisplacement","Jorge Ballesteros"]],"ref":"refs/heads/master"}