Merge commit '5405584b7b54ca889c341743de1d58792449830d'
authorHendrik Leppkes <h.leppkes@gmail.com>
Tue, 29 Sep 2015 11:48:05 +0000 (13:48 +0200)
committerHendrik Leppkes <h.leppkes@gmail.com>
Tue, 29 Sep 2015 11:48:05 +0000 (13:48 +0200)
* commit '5405584b7b54ca889c341743de1d58792449830d':
  checkasm: Use a self-balancing tree

Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>

Trivial merge