{"shas":[["b7fc66780d3079a2c84042b15aa08c79b662130b","6043819e167047d9f61135dd64554e4cea7661a5@bfh.ch","Merge branch 'master' into sh-master\n\nConflicts:\n\tmisc/defense/.gitignore\n\tmisc/defense/include/01_definition.tex","Stefan Heinemann"]],"ref":"refs/heads/sh-master","size":1,"head":"b7fc66780d3079a2c84042b15aa08c79b662130b","push_id":34827187}