[Replicant] [vendor_replicant] Tiny patch

[Denis 'GNUtoo' Carikli]

Hi,

In addition to the patch that will follow in a response to
this mail, here's an URL to the see the patch in a web interface:
https://git.replicant.us/contrib/GNUtoo/vendor_replicant/commit/?id=517ff7bbc4aa439d81f455084fb7778fd9ee14c4

And here's how to get it in a git repository:
git clone https://git.replicant.us/GNUtoo/vendor_replicant
cd vendor_replicant
git show 517ff7bbc4aa439d81f455084fb7778fd9ee14c4

Denis.