{"shas":[["fb0478afe36b93ea903e679cf6c073f0b63cc36b","16a9a54ddf4259952e3c118c763138e83693d7fd@rstudio.org","Revert \"Get rid of GWT MenuBar customizations--these are fixed in GWT now\"\n\nThis reverts commit 0f4024b486393c37264ef058b4d3895b51e3e48d.","Joe Cheng"],["87fa9a37546ff1c76cbb8d23611c07b8984921a3","16a9a54ddf4259952e3c118c763138e83693d7fd@rstudio.org","Fix menu popup suppression bug","Joe Cheng"],["e648d7a5fe597c6f4c3086bf77423f14eaad5d54","16a9a54ddf4259952e3c118c763138e83693d7fd@rstudio.org","Implement git-commit","Joe Cheng"],["4ab3a96117bf73ac060afff5ad90171ca2c0bcb7","16a9a54ddf4259952e3c118c763138e83693d7fd@rstudio.org","Fix up headers","Joe Cheng"]],"ref":"refs/heads/master","size":4,"head":"4ab3a96117bf73ac060afff5ad90171ca2c0bcb7","push_id":34953313}