On Mon, 13 Jan 2020, Jakub Jelinek wrote: > Thanks to everybody who have helped with this.
Thank you for putting this in place, Jakub! Gerald
- New redirects for git Jakub Jelinek
- Re: New redirects for git Gerald Pfeifer
On Mon, 13 Jan 2020, Jakub Jelinek wrote: > Thanks to everybody who have helped with this.
Thank you for putting this in place, Jakub! Gerald