[Toybox] 0.7.6 release is out.

[Rob Landley]

On 02/26/2018 10:49 AM, enh wrote:
> Did you forget to push again? I'm not seeing anything on GitHub yet...

Sigh. My releases.txt checklist says "git push --tags" but if you do that
without having done a "git push" first, the repo says you're up to date even
when you have unpushed commits.

Have I mentioned git's user interface keeps finding new ways to be terrible?

Rob