librede merge requestshttps://gitlab2.informatik.uni-wuerzburg.de/descartes/librede/-/merge_requests2019-11-26T12:42:03+01:00https://gitlab2.informatik.uni-wuerzburg.de/descartes/librede/-/merge_requests/1Merge develop into master2019-11-26T12:42:03+01:00Johannes GrohmannMerge develop into masterMove version 1.1 into masterMove version 1.1 into masterJohannes GrohmannJohannes Grohmann