{"shas":[["fb1e9e1491e9c09ea7bd9827106f58d814d9e3c2","ace2f8cdc881042ae5939911b0b83032ed7fc5fe@wesnoth.org","civ, rpg: Make these shortcuts use the default shell, not bash","Ignacio R. Morelle"],["a927b019a9ed94a279906b4aff183e21b7c58c6b","ace2f8cdc881042ae5939911b0b83032ed7fc5fe@wesnoth.org","Add a wrapper script for frogatto for consistency","Ignacio R. Morelle"]],"ref":"refs/heads/master","size":2,"head":"a927b019a9ed94a279906b4aff183e21b7c58c6b","push_id":34485649}