Re: Please migrate acl2_3.4-1
On Sat, Sep 06, 2008 at 10:40:43AM -0400, Camm Maguire wrote:
> Previous unblock was granted to 3.3-1.1, which is essentially the same
> as this version, but the latter depends on fixed gcl.
>
I find (after digging out the versions from the morgue) that:
1894 files changed, 141909 insertions(+), 59165 deletions(-)
is a little more than 'essentially the same', with a modified depends.
Sorry, no unblock.
Neil
--
A. Because it breaks the logical sequence of discussion
Q. Why is top posting bad?
gpg key - http://www.halon.org.uk/pubkey.txt ; the.earth.li B345BDD3
Reply to: