projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a2f7cc) | patch
profiles: fix PHP 7.4 mask
authorThomas Deutschmann <whissi@gentoo.org>
Thu, 28 Nov 2019 20:48:09 +0000 (21:48 +0100)
committerThomas Deutschmann <whissi@gentoo.org>
Thu, 28 Nov 2019 20:48:09 +0000 (21:48 +0100)
commitfcc34f7876f42eae4d46910a9c8982b8c6d1f40c
treecd064f9971797c71983548b995e47153ac493b60tree | snapshot
parent0a2f7cccb5b6dfa2c01ab6bb351d474022329d83commit | diff
profiles: fix PHP 7.4 mask

Fixes 0a2f7c ("profiles: Unmask PHP 7.4 as it is released")
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
profiles/base/use.stable.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.