tree be9cca06debe227133507b961fd2c37d2a16bf52
parent d0f4af8cb4ce42d4190cb16e355e5e96ea45fa99
author margaretha <margaretha@ids-mannheim.de> 1732547517 +0100
committer margaretha <margaretha@ids-mannheim.de> 1732696013 +0100

Replace operation:insertion with operation:injection (#778)

Change-Id: I0c6212b3cb3a24a3a969fa9aea0bcd09e8a204ee