From 61717327b84ad2023b7c2705e2258669591d1b7c Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 3 Sep 2018 20:11:38 +0000
Subject: [PATCH] merged from trunk@2053

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2056 abb3cda0-5349-4a8f-a601-0c33ac3a8c38