{"shas":[["dc645bb3e6bd09226bd744e1f86f621f6986ac2d","26a5d1e5c41c2e93a12f225292ddfe7cbf49ab94@googlemail.com","Patched bug with width of NumberBar.","Jacob Dawid"]],"ref":"refs/heads/master","size":1,"head":"dc645bb3e6bd09226bd744e1f86f621f6986ac2d","push_id":36732033}