From 7f0ccc917c7abe6223784c703d86cd14755691fb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 3 Jul 2021 22:39:47 +0100 Subject: gentoo resync : 03.07.2021 --- dev-lang/smlnj/metadata.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-lang/smlnj/metadata.xml') diff --git a/dev-lang/smlnj/metadata.xml b/dev-lang/smlnj/metadata.xml index e7ce88d55f5e..26bf66298295 100644 --- a/dev-lang/smlnj/metadata.xml +++ b/dev-lang/smlnj/metadata.xml @@ -3,7 +3,7 @@ - Enable if the user plans to run the + Enable if the user plans to run the package under a pax enabled hardened kernel -- cgit v1.2.3