tree e9c374bc5d0fff2576509fcfe76eec49528810c3
parent c105e2fbf8a025bd85bdc7078564bc29d2069eb8
author margaretha <margaretha@ids-mannheim.de> 1734693103 +0100
committer margaretha <margaretha@ids-mannheim.de> 1737447096 +0100

Improve AvailabilityRewrite and implement operation:override (#781)

Change-Id: Ibceecb26109796addc06bf15a47a48a01d566084