Re: [asdf-devel] Patch for ACL 8.0