On Fri, Jun 3, 2016 at 4:16 AM, Ludovic Courtès <[email protected]> wrote: > Hi! > > I skimmed over these patches, and apart from the question regarding the > GitHub updater vs. githubusercontent.com, they LGTM.
Thanks, I've pushed the patches. If githubusercontent.com becomes a problem we can change them back. - Dave
