# HG changeset patch
# User wenzelm
# Date 1579189285 -3600
# Node ID 5e7ba6aa85d70a988b81ee6ede27743e6d7951d0
# Parent  21995f5e8126a2791d8bcdf3d97d1ad8b32442dc
more documentation: odd option for special situations;

diff -r 21995f5e8126 -r 5e7ba6aa85d7 src/Doc/System/Phabricator.thy
--- a/src/Doc/System/Phabricator.thy	Thu Jan 16 16:35:17 2020 +0100
+++ b/src/Doc/System/Phabricator.thy	Thu Jan 16 16:41:25 2020 +0100
@@ -252,6 +252,10 @@
 
       \<^item> Enable \<^verbatim>\<open>policy.allow-public\<close> to allow read-only access to resources,
       without requiring user registration.
+
+    \<^item> Adjust \<^verbatim>\<open>phabricator.cookie-prefix\<close> for multiple installations with
+    overlapping domains (see also the documentation of this configuration
+    option within Phabricator).
 \<close>