Thomas Lange Sat, 12 Aug 2017 15:03:40 -0700
I wonder why the sync was needed. I cannot find any info in the git logs. It seems to be there for a long time. IMO this should be removed, if noone can argue why it is needed.
-- regards Thomas
