Prepare for patch release edition-agen-1#206

Merged

e-backmark-ericsson merged 1 commit intoeiffel-community:masterfrom e-backmark-ericsson:issue205

Apr 29, 2019

+399-2

Commits on Apr 24, 2019

Correct issue 205, prepare for release edition-agen-1
e-backmark-ericsson
committed