diff -r 695fa57d4b72 -r 5c4c8b122f94 docs/HISTORY.txt
--- a/docs/HISTORY.txt	Thu Jul 13 10:52:59 2017 +0200
+++ b/docs/HISTORY.txt	Thu Jul 13 11:04:49 2017 +0200
@@ -1,6 +1,14 @@
 History
 =======
 
+0.1.5
+-----
+ - added "context" support to authorization API's "effective_principals" method call, to be able to get
+   current request principals in a context different from those of the request; this feature is required for a
+   good support of "local roles"...
+ - updated system manager permissions
+ - changed ZMI permissions
+
 0.1.4
 -----
  - use request.url instead of request.view_name in forbidden view referrer