# HG changeset patch
# User pin
# Date 1198312971 -32400
# Node ID 1773abed1fc892cfad16412caf3dbb64052d86e0
# Parent  612cb62151cef4fd8c61760fde4f088067bca16e
*** empty log message ***

diff -r 612cb62151ce -r 1773abed1fc8 export/sessionmanager.jar
Binary file export/sessionmanager.jar has changed