commit:     6be57dac312c2963e47509f9310ba8068285aaff
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 27 17:30:50 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Apr 27 17:30:50 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6be57dac

package.mask: add protocol_version_header to janestreet mask

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 profiles/package.mask | 1 +
 1 file changed, 1 insertion(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 3adeeda12ae3..2dfcca954e9d 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -140,6 +140,7 @@ dev-ml/core_unix:0/0.15
 dev-ml/textutils_kernel:0/0.15
 dev-ml/textutils:0/0.15
 dev-ml/async_kernel:0/0.15
+dev-ml/protocol_version_header:0/0.15
 
 # Hans de Graaff <[email protected]> (2022-04-23)
 # Obsolete slots that are no longer used by current

Reply via email to