Package: coq Severity: minor Version: 8.6-5 Hello,
when installing coq I get the following warning:
gallina-db.el: (lambda (x y) ...) quoted with ' rather than with #'
In coq-sort-menu-entries:
gallina-db.el:164:31:Warning: (lambda (x y) ...) quoted with ' rather than
with #'
-Ralf.
