Merge branch 'v1' into es17.01

# Conflicts:
#	library/text/parser/uri_template/uri_template-safe.ecf
#	library/text/parser/uri_template/uri_template.ecf
This commit is contained in:
Jocelyn Fiat
2017-04-14 12:04:33 +02:00
46 changed files with 12412 additions and 3635 deletions

View File

@@ -137,7 +137,7 @@ feature -- Status report
-- String that should be displayed in debugger to represent `Current'.
do
create Result.make_empty
Result.append (type)
Result.append_string_general (type)
Result.append (" ")
if attached login as l_login then
Result.append ("login=[")