{"shas":[["bab9f9b181f20d22d99ff2d634d3d5674d159a18","8dae5fbf88d2d92156fb95be809927e92dd73193@gmx.net","Cursor update works again","Martin Manns"]],"ref":"refs/heads/develop_0.1.3","size":1,"head":"bab9f9b181f20d22d99ff2d634d3d5674d159a18","push_id":35539397}