desc/php_targets.desc: add 7.2 target
authorBrian Evans <grknight@gentoo.org>
Fri, 21 Jul 2017 20:00:03 +0000 (16:00 -0400)
committerBrian Evans <grknight@gentoo.org>
Fri, 21 Jul 2017 20:22:12 +0000 (16:22 -0400)
commit74881b146002acbbf56ab67c23581f1b2dfecdc6
treedf04b5579b030381cbd4917a4432772586bef932
parent862689d92ed90c0b7be53ceed1f177145771f9e2
desc/php_targets.desc: add 7.2 target
profiles/desc/php_targets.desc