From 4a8eab32561e0e367ebcd094e59e5144d9e722fc Mon Sep 17 00:00:00 2001 From: Daniel Kolesa Date: Tue, 2 Feb 2016 17:53:30 +0000 Subject: [PATCH] eo: add @hot --- eo/eo.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/eo/eo.xml b/eo/eo.xml index 5841c9d..47b243e 100644 --- a/eo/eo.xml +++ b/eo/eo.xml @@ -161,6 +161,7 @@ @empty @extern @free + @hot @in @inout @nonull