tree b07d7430122a4e40250be2260f6b0f486c6f0eba
parent 59719404a72dcd9a5e0b6b58c99a49725850e9fc
author Dave Brondsema <dave@brondsema.net> 1481581182 -0500
committer Dave Brondsema <dave@brondsema.net> 1481581182 -0500

[#8140] reset current session id during password reset, so even a theoretical shared copy of the session wouldn't stay valid either