Created attachment 182623 [details]
Add the mail header patch to php7x like php5x
Created attachment 182624 [details]
Attached the wrong patch first time around, this one should work.
A commit references this bug:
Date: Thu Nov 23 11:38:59 UTC 2017
New revision: 454753
lang/php70 and lang/php71: Add mail header patch
While here to some improvements:
- Remove CONFLICTS of no longer existing PHP 5.5
- Add CONFLICTS to PHP 7.2
- Remove IPV6_DESC in order to use default one
Submitted by: Karsten Schmidt <firstname.lastname@example.org>
i just committed your patch. I also ported it back to lang/php70 so we now have a consistent state of options.