BibtexQuery

Stream: nightly-testing

[Kim Morrison]

@Frédéric Dupuis, would you be available to bump BibtexQuery to v4.12.0-rc1? (Just out.) It is blocking me updating doc-gen4.

[Frédéric Dupuis]

I had a look just now, and since it's not totally trivial (I can't immediately figure out where Lean.Data.Parsec went), I probably can't deal with this until tonight -- this is the first day of classes and I have four hours of lectures today.

If this is too slow, you can open a pull request and I'll merge as soon as I'm in front of my computer.

[Ruben Van de Velde]

Cc @Yaël Dillies

[Yaël Dillies]

@Kim Morrison, in case you didn't see: https://github.com/dupuisf/BibtexQuery/pull/10