Fix handling of duplicate footnotes
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 13 Jun 2017 13:03:08 +0000 (15:03 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Tue, 13 Jun 2017 13:03:08 +0000 (15:03 +0200)
commita9e551a100e60a603210ee083103dd73369d6a98
treeb788f30f4a88c1c33491b15648158153c9272ae3
parent2aafb2476606e27d3eb408db57be14813bf2c276
Fix handling of duplicate footnotes

Closes #1912
vendor/vendor.json