From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 16 May 2020 11:25:38 +0000 (+0200)
Subject: Merge branch 'master' into next
X-Git-Tag: v0.2.0~10
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=a7b42ba7fe3c1b6dedcce45b354ca8568ce518d8;p=osl.git

Merge branch 'master' into next

* master:
  Improve documentation of osl_rbtree_loop().
---

a7b42ba7fe3c1b6dedcce45b354ca8568ce518d8