Commit f9bb011f221e0d758e22c1a2bc82ae4de8ccfcfc

Steffen Jaeckel 2019-01-17T11:01:30

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