fix a mistake in the documentation#9489

gavinking merged 1 commit intohibernate:mainhibernate/hibernate-orm:mainfrom

gavinking:docbugfixschemamanagergavinking/hibernate-orm:docbugfixschemamanagerCopy head branch name to clipboard