tree 2b393a693d327e7efcaa95fae734a5b2ff2e1979
parent ab0fb19cfff7760bfd69b49ed6d81a823be2a6ba
parent cd44826d5026316d9b44ae33c1fcf0d8faf550c4
author Clifford Wolf <clifford@clifford.at> 1573729073 +0100
committer Clifford Wolf <clifford@clifford.at> 1573729073 +0100

Merge branch 'makaimann-label-bads-btor'