Re: Testing the new repository

[Gregory Nutt]

And the patch is the same format and put on this mail address just like when we 
were in the Google Group?

I would suggest holding off all changes and PRs until we get a proper 
workflow in place.  No one will act on them now.