John 4c388eac0b synergy: fix distfile
Closes: #9127 [via git-merge-pr]
2017-11-12 13:04:20 -05:00
..