profiles: Move php_targets_php7-3 mask to use.stable.mask
authorThomas Deutschmann <whissi@gentoo.org>
Thu, 13 Jun 2019 15:12:17 +0000 (17:12 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Thu, 13 Jun 2019 15:18:22 +0000 (17:18 +0200)
commitb1de0e624493aa9f947026930bcbfab0cb5c2513
treeaf4dbb12aa71f86b75982abdc545e28141e2a97a
parentbddc85500234c0b2df780a830e265e83eccac6c5
profiles: Move php_targets_php7-3 mask to use.stable.mask

Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
profiles/arch/arm/use.mask
profiles/arch/arm/use.stable.mask