]> git.tuebingen.mpg.de Git - osl.git/commit
Merge branch 'master' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 16 May 2020 11:25:38 +0000 (13:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 16 May 2020 11:25:38 +0000 (13:25 +0200)
commita7b42ba7fe3c1b6dedcce45b354ca8568ce518d8
treeb121f618f6222d3289a327ab4a2598ff6ffa0154
parentee1923504763375bba189b3369f4cd188c9101f8
parent73fd06fe7a5600dbc8339ac01acf49c66aef7e08
Merge branch 'master' into next

* master:
  Improve documentation of osl_rbtree_loop().