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