Pierre Roux authored 1 year ago and Björn Brandenburg committed 1 year ago

Revise some definitions of interference with too much repetition.