Re: [asdf-devel] [PATCH] Distinguish ACL SMP fasls from non-SMP ones