Bug#877938: coq: warning on installation of the emacs mode

[Ralf Treinen <treinen@irif.fr>]

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.