The Coq mailing list

[Adam Megacz <megacz AT cs.berkeley.edu>]

Andrew McCreight 
<continuation AT gmail.com>
 writes:
> Have you tried poking around in the bug database and submitting a report if
> nothing similar is there?

Ah, thanks; for some reason I was under the mistaken impression that the
bug tracker was INRIA-internal-only.  I was wrong.

I've logged a bug for this (and checked SVN trunk; it still fails).

  - a