Sarah Hoffmann 3059a3da4e correctly handle special term + name combination ...

Special terms with operator name usually appear in combination with the
name. The current penalties only took name + special term into account
not special term + name.

Fixes #2876.

2022-11-15 11:55:40 +01:00

3.7 KiB

Raw Blame History