On 11/20/19 5:43 AM, Juergen Spitzmueller wrote: > commit a426b33067ae4e9d5452f13284f3e223d87ac45d > Author: Juergen Spitzmueller <spitz at lyx.org> > Date: Wed Nov 20 11:57:32 2019 +0100 > > Fix issues with tilde in inputpath > > Fixes #11699 > --- Fine for stable if needed. Riki