Stuart Henderson, 01 Feb 2017 21:17: > On 2017/02/01 20:43, frantisek holop wrote: > > ping ping? > > The port looks sound.
thanks for having a look. considering the size of the user base i think the replacement is unnecessary... what do you think? --
