drush-ops/drush 13.7.2

on GitHub

What's Changed

• Backport optional service injection to 13.x by @DieterHolvoet in #6494
• Document in Drush 13 that updatedb automatically sets the site in maintenance mode during the process by @gitressa in #6525
• ssl-verify-server-cert is a boolean and 'empty()' doesn't work with FALSE (https://github.com/drush-ops/drush/pull/6510[)](https://github.com/drush-ops/drush/commit/9eddab8e7307c1fe79fe18e073cda749df313b6b)
• Change method visility to track upstream (psysh) by @weitzman in #6538

Full Changelog: 13.7.1...13.7.2