]> git.tuebingen.mpg.de Git - dss.git/commit
Merge topic branch t/misc into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Jun 2024 16:28:34 +0000 (18:28 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 16 Jun 2024 16:28:34 +0000 (18:28 +0200)
commit39fb3e860b2a5e92b6ce21904cc32ebe7be7f4c9
tree167173e47949598ccd2fd6a554e82b0b654557f0
parent004988ac75912b5c576b67dd95f17fc75e7abe94
parentd330460ededec95470ad42007bff09be352be867
Merge topic branch t/misc into pu

Started on 2024-04-28

* refs/heads/t/misc:
  Consult $HOME and $LOGNAME rather than calling getpwuid(),
  Kill COMPILE_TIME_LOGLEVEL.