{"head":"7f85aab3ef3b63a261be8da5e9edcc1c39765d2c","size":2,"push_id":45095484,"shas":[["a0c984acddbe9fc88c588d3b54901a6a40337faa","d659c10e27d52b00987b65e85d99bce5480adcae@kr.ethz.ch","config+install is broken now due to refactoring\n\nSigned-off-by: Nico Schottelius <nico@kr.ethz.ch>","Nico Schottelius"],["7f85aab3ef3b63a261be8da5e9edcc1c39765d2c","d659c10e27d52b00987b65e85d99bce5480adcae@kr.ethz.ch","add some pseudo code to adapt to changes\n\nSigned-off-by: Nico Schottelius <nico@kr.ethz.ch>","Nico Schottelius"]],"ref":"refs/heads/install"}