Version 6.5.1 Build 1870 seems to solve the problems: am able to connect to
the search server and am getting search results.
On Tuesday, June 12, 2018 at 9:21:17 AM UTC+2, Andreas Freimüller wrote:
>
> Am I assuming correctly that this is the same bug that I posted the other
> day?
>