]> git.tue.mpg.de Git - osl.git/commit
Merge branch 'master' into next next pu
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 30 Jun 2024 14:45:19 +0000 (16:45 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 30 Jun 2024 14:45:19 +0000 (16:45 +0200)
commitfb38915b17c31c4ffc0060748b7e20ac853fe9a1
tree9b6ce8af19538afb49915d1b4ff65cc1f8467706
parentd4f389642c112531c5ff9471f2b5e10aba03cda7
parent50e321604c59d71168765a4b01c25ba7f176ce5c
Merge branch 'master' into next

* master:
  Switch to https URLs.
  INSTALL: Simplify dependency section.