Merge proposals

php-masterminds-html5 in Ubuntu has no merge proposals.