tree cffa48fbc1e7b7cecc0d5494b9c35f75a83c5b76
parent d17a6cdd96ee72b17e6d5d0c90bff1f072a2de67
author margaretha <margaretha@ids-mannheim.de> 1777893685 +0200
committer margaretha <margaretha@ids-mannheim.de> 1783506438 +0200

Add memory limit (close #267, AI assisted)

Change-Id: Iff996ab4b2de8de9084b996b229c7db6931fe8a7