Merge commit '5405584b7b54ca889c341743de1d58792449830d'

* commit '5405584b7b54ca889c341743de1d58792449830d':
  checkasm: Use a self-balancing tree

Merged-by: Hendrik Leppkes <h.leppkes@gmail.com>
This commit is contained in:
Hendrik Leppkes 2015-09-29 13:48:05 +02:00
commit fd0fa9af80

Diff Content Not Available