tree 471a2a4aedcd02125416ea6c8a327d364564e2e4
parent 77bf8b7435428382c94f2f11d9f2003b198758f3
author margaretha <margaretha@ids-mannheim.de> 1607070146 +0100
committer margaretha <margaretha@ids-mannheim.de> 1608724589 +0100

Fix pipe warning.

Change-Id: I0a61e5d4b4cf66d18f93676fa4f04edff31b55fd