Hi Matthias (2018.07.30_06:37:50_-0400) I think this bug was fixed in 0.20, except for the :any issue that mjt describes.
-- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272
Hi Matthias (2018.07.30_06:37:50_-0400) I think this bug was fixed in 0.20, except for the :any issue that mjt describes.
-- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272