{"shas":[["69034ed2c9d9077e21e3d501afea92cece0e3119","b905017e5dbc60fe34d0d9e32e46ad68b83b03b5@mschroed-VirtualBox.(none)","Vignette updated; manpages for the eSets created; ready for submission (cR CMD check and build without warnings/errors/notes)","Markus Schroeder"]],"repo":"bhaibeka/survcomp","actor":"mschroed","ref":"refs/heads/master","size":1,"head":"69034ed2c9d9077e21e3d501afea92cece0e3119","actor_gravatar":"f021cb096d4f126a079f8c183acff992","push_id":25910265}