tree b12c62622491ed004b8f3b5d2fd0c6b5aead3d3d
parent d59b34d35389ba1ef3eb10f4f3b6ecd23a74af19
author margaretha <margaretha@ids-mannheim.de> 1733308819 +0100
committer margaretha <margaretha@ids-mannheim.de> 1733308819 +0100

Use operation:override in query reference rewrite (#783)

Change-Id: Iaaaefcb325a4062fac7ef0e8adc243ffa70f5e95