branch: master
commit 686984683904a06ae561341522bf34dbb04aa919
Merge: bad787d 4c8058f
Author: Ian Dunn <du...@gnu.org>
Commit: Ian Dunn <du...@gnu.org>

    Merged fix.
    
    Copyright exempt.

Reply via email to