Don't report errors when using \nocite{*}#966

Merged

pfoerster merged 1 commit intomasterfrom bugfix/cite-star-error

Nov 23, 2023

+8-1

Commits on Nov 19, 2023

Don't report errors when using \nocite{*}
pfoerster
committed