{"shas":[["45f9e67b9d7353774379d762dffb84f04a60011a","a71e1030b0ee8faee1b41b8c8a5788cecf405085@e-jc.de","updated plugins: sessions, narrow region, gundo","Jan Christoph Ebersbach"]],"ref":"refs/heads/master","size":1,"head":"45f9e67b9d7353774379d762dffb84f04a60011a","push_id":32529792}