document closed Debian bug

* Document that Debian bug #703387 was closed by commit
  56968d48651518dd386a53bcd28c408ffe313aeb which I forgot to do before.