4 Jan
2021
4 Jan
'21
5:24 p.m.
Hi Gerd I think it is simplest to do that. Then later some of the sea options texts can be reworded if any of us feel strongly about it. Ticker On Mon, 2021-01-04 at 15:30 +0000, Gerd Petermann wrote:
Hi Ticker,
not sure what to do now. Do you think i should commit Mikes patch without changes?
Gerd