WordPress 5.2 dropped support for PHP versions below 5.6, requiring that we test using WP 5.1.
enabled an automatic merge when the pipeline for 1c807c4d succeeds
merged
mentioned in commit f9aa8b20