Re: [PATCH] draft addition of github updater

[Ricardo Wurmus]

Ben Woodcroft <b.woodcr...@uq.edu.au> writes:

> Pushed as 917a2a58.

Yay!  This allows us to strike off another item from the list of
features to add before the 0.9.1 release.

Thank you!

~~ Ricardo