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