Hi Hilko, Am Sun, Aug 18, 2024 at 11:56:01PM +0200 schrieb Hilko Bengen: > The problem has not been solved – and there are multiple issues listed > in https://github.com/google/codesearch/issues that look similar enough > that there's no point in adding a new issue: > > - https://github.com/google/codesearch/issues/26 > - https://github.com/google/codesearch/issues/37 > - https://github.com/google/codesearch/issues/80
Thanks for confirming Andreas. -- https://fam-tille.de