On Tue, Nov 14, 2017 at 1:03 PM, Tobin C. Harding <[email protected]> wrote: > > I did not sign the tag, it looks like you have not processed this yet. > Do you want me to re-do the pull request on a signed tag?
When pulling from github? Absolutely.
Linus
