Re: Github Issue on Build Failure

[Gregory Nutt]

I have been inactive for some time now, but I would like to get back up to
speed and start making some contributions.

I am really glad to see back!