Jenkins nedprod CI 0ba8ce6ba7 Merging commit ned14/outcome@7b24d3dd96: ... Merged from develop branch as CDash reports all green		2019-12-01 13:32:18 +00:00
..
outcome	Merging commit ned14/outcome@7b24d3dd96:	2019-12-01 13:32:18 +00:00
outcome.hpp	Merging commit ned14/outcome@7fbbd01d56:	2019-10-10 12:43:35 +00:00