RE: [Gcl-devel] 2.6.2.....

[Mike Thomas]

Hi Camm.

| Greetings!  I'm a bit confused here -- do we post that mingw passes
| the acl2 books certify test or not?  We just are using 'make
| certify-books-fresh' for this purpose, i.e. no workshops.  Please
| advise.

Call it a pass as it is workshop code and Matt seems not to be too worried
or, best of all, add a footnote if you can be bothered.

Cheers

Mike Thomas