Merged back trunk into 18.01 (current version).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1967 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2018-04-06 11:23:03 +00:00
parent 0be20a2643
commit 7a97b47a4a
2 changed files with 18 additions and 2 deletions

Binary file not shown.