Re: [patch] [994] \nocite{*}

[Jürgen Spitzmüller]

Bernhard Reiter wrote:
> ok, see attached.

Very good. Tested and committed.

Jürgen