From a6b5015884a2d89d6652d2bf4605dbed30712894 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Wed, 27 Apr 2022 12:22:14 +0200 Subject: package.mask: add async_kernel to janestreet mask Signed-off-by: Alfredo Tupone --- profiles/package.mask | 1 + 1 file changed, 1 insertion(+) (limited to 'profiles') diff --git a/profiles/package.mask b/profiles/package.mask index af4d42005727..d1084ca00797 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -139,6 +139,7 @@ dev-ml/timezone:0/0.15 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 # Hans de Graaff (2022-04-23) # Obsolete slots that are no longer used by current -- cgit v1.2.3-65-gdbad