Commit a551f2158d980464de9ecc41bab55ff7143103d7

Stefan Sperling 2019-02-08T14:58:30

diff3: make labels work and fix leaks