Thanks, I installed that in your name.
- [PATCH] bootstrap: add hooks for user-defined command-lin... Jose E. Marchesi
- Re: [PATCH] bootstrap: add hooks for user-defined co... Bruno Haible
- Re: [PATCH] bootstrap: add hooks for user-defined co... Paul Eggert
- Re: [PATCH] bootstrap: add hooks for user-define... Jose E. Marchesi
