SemanticDiff etl
fix bug in find_next of (new) bitset class
#618
Merged

Loading