Commit 20f2b26c1552d880b24d72b1161a862c48f34c8f

Steffen Jaeckel 2019-01-15T18:26:40

fix doc/bn.tex (cherry picked from commit e84c0948646dd019ed60c9a703584f9697c64638)