Release tag for 0.10.1

[Nick Dimiduk]

Hi Devs,

It seems no release tag was pushed to 0.10.1. I presume this was an
oversight. Is there some place I can look to see from which sha the 0.10.1
release was built? Are the RC vote threads the only cannon in this matter?

Thanks,
Nick