 master, after failure of the existing master, even if the client
had priority 0. [#15388]</li>
            <li>Fix a bug where 32-bit builds on 64-bit machines could immediately
	core dump because of a misaligned access. [#15643]</li>
            <li>Fix a bug where attempts to configure a database for MVCC in the
	Java API were silently ignored. [#15644]</li>
            <li>Fix a bug where database environments configured for replication and
	verbose output could drop core. [#15651]</li>
          </ol>
