Skip to content
Commit 648a4a67 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Updating a unifier now doesn't fail if the pair was present before. 

That wasn't a known bug, but it might have been an unknown one.
parent ec107c42
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment