# HG changeset patch # User raph # Date 1286548671 -7200 # Node ID a7c63de8abc55b6511c1a7d58885146f667123fe # Parent bf61a1b40eb55f2f907ac382a8acc400edb96e83 add popup tip for anonymous users in user list diff -r bf61a1b40eb5 -r a7c63de8abc5 src/cm/templates/site/user_list.html --- a/src/cm/templates/site/user_list.html Fri Oct 08 15:56:01 2010 +0200 +++ b/src/cm/templates/site/user_list.html Fri Oct 08 16:37:51 2010 +0200 @@ -174,7 +174,7 @@