"Steve VanSlyck" <s.vanslyck(a)spamcop.net> writes:
17.1 and 18.0 were released on the same day, so if not
already part of
18.0, I would suggest that the bug fixes in 17.1 be addressed in 18.1.
The fix included in 1.17.1 was also also included in 1.18.0.
Mark.