From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 6 May 2024 20:31:16 +0000 (+0200)
Subject: Merge topic branch t/realpath into pu
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=b403bc0963ee562a9c4d694d9998712b30669ed5;p=dss.git

Merge topic branch t/realpath into pu

Started on 2024-04-27

* refs/heads/t/realpath:
  Resolve config file path only once.
  Use standard realpath().
---

b403bc0963ee562a9c4d694d9998712b30669ed5