Merge branch 'master' into es17.01

2017-03-01 15:37:21 +01:00
parent 6ce6605cc2 8ff638d62e
commit ac1f91d95a
7 changed files with 91 additions and 17 deletions
--- a/library/model/src/user/cms_user.e
+++ b/library/model/src/user/cms_user.e
@@ -196,6 +196,11 @@ feature -- Change element
 			email_set: email = a_email
 		end

+	set_creation_date (dt: like creation_date)
+		do
+			creation_date := dt
+		end
+
 	set_last_login_date (dt: like last_login_date)
 		do
 			last_login_date := dt