]> git.tuebingen.mpg.de Git - osl.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 8 Jun 2020 16:33:47 +0000 (18:33 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 8 Jun 2020 16:33:47 +0000 (18:33 +0200)
commitdae6546e09462a3842696f7e04e493600285020d
tree64a11b867d367867f4159df54ca7edb735d3c9dc
parenta7b42ba7fe3c1b6dedcce45b354ca8568ce518d8
parenteb1b5f7cdcb7110a2d92e8823afe388e04634af5
Merge branch 'master' into next

* master:
  NEWS: Fix two typos.