Aligned with eiffel-community repository guidelines#193
Merged
d-stahl-ericsson merged 2 commits intoeiffel-community:masterfrom Aug 17, 2018
Merged
Aligned with eiffel-community repository guidelines#193d-stahl-ericsson merged 2 commits intoeiffel-community:masterfrom
d-stahl-ericsson merged 2 commits intoeiffel-community:masterfrom
