icex2 729f5abcc0 Output to stderr instead of stdout in release message script ... stdout is used for actual data output which is captured by the ci pipeline. stderr shows up properly in debug output		2021-12-28 23:40:21 +01:00
..
ci	Output to stderr instead of stdout in release message script	2021-12-28 23:40:21 +01:00