Make approximate contains slack configurable#67

Merged

patrickbr merged 2 commits intomasterfrom configurable-approx-slack

Jan 22, 2024

+26-7

Commits on Jan 16, 2024

preparations to make approximate contains slack configurable, TODO: add a config parameter to set this
patrickbr
committed

Commits on Jan 22, 2024

Merge branch 'master' into configurable-approx-slack
patrickbr
authored