« Previous | Next » 

Revision 35ad84bd

ID35ad84bd49a1dc84617ca1c23b0feb1447895845
Parent fb931914
Child 73238f6b

Added by Carlos Martín over 5 years ago

Bug #4197: Refresh settings after a user password change

(cherry picked from commit 2c96fea0b3704d7bf224c45409e5d70bbaa94e8f)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences