icex2 1100f28f31 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