{"head":"2fdd2967065f98aff9fd8ee8b36844236ac461f0","size":1,"push_id":44433904,"shas":[["2fdd2967065f98aff9fd8ee8b36844236ac461f0","8efd86fb78a56a5145ed7739dcb00c78581c5375@grobox.de","bug #3415347 partly fixed (undeclared externals not added)\nstill timing issue","Torsten Grote"]],"ref":"refs/heads/assert"}