Re: [PATCH] pickles: Improvements to btf.pk

[Jose E. Marchesi]

>> PS: did you create an account at savannah.gnu.org?  If you do, I can
>>     give you write access to the git repo for future contributions.
>>      
>
> I've just done this, with the username dfaust

And you you should have write access to the repo.
Welcome on board! :)