Taking another look at the git log, those bugs were fixed in 4.5.12.
not 4.5.11.   So the "correction" was not needed, though it is
harmless (except insofar as I wrongly indicated you'd done something
incorrectly).   Sorry about the mistake.

James.

Reply via email to