0.13dev: merged session persistence changes from r10460 (#9705).
0.13dev: merged session persistence changes from r10460 (#9705).

Note that by mistake the mergeinfo was already present on the previous intermediate changeset...



git-svn-id: f68c6b3b1dcd5d00a2560c384475aaef3bc99487@10479 af82e41b-90c4-0310-8c96-b1721e28e2e2

moreati/trac-gitsvn,moreati/trac-gitsvn,moreati/trac-gitsvn,moreati/trac-gitsvn