]> git.tuebingen.mpg.de Git - dss.git/commit
Merge topic branch t/misc into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 May 2024 20:31:16 +0000 (22:31 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 6 May 2024 20:31:16 +0000 (22:31 +0200)
commitad78a19e23fa800b9925d18210d955e1f1a48876
tree13136c83205d3fe82f7f0c50e39ceb6597d4c8a3
parent3bda29fdc7f60f79dc25badabb767406a61050b8
parent4056028bd303fea6176757e490a17d11e242bb72
Merge topic branch t/misc into pu

Started on 2024-04-28

* refs/heads/t/misc:
  Kill COMPILE_TIME_LOGLEVEL.
  Convert all URLs to https.