[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#4
From: |
Tim Rühsen |
Subject: |
Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429) |
Date: |
Tue, 30 Apr 2019 18:42:09 +0000 |
No need to rebase, there is no merge conflict. It's just an information.
A fast-forward merge is a bit more 'cleaner' since it doesn't need a so-called
'merge commit', but it really doesn't matter technically.
I will finally merge your PR manually because the commit message should be in a
certain style. And I don't want to over-stress your patience, you made it
really good so far ! :-)
--
Reply to this email directly or view it on GitLab:
https://gitlab.com/gnuwget/wget2/issues/429#note_165700155
You're receiving this email because of your account on gitlab.com.
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), (continued)
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Darshit Shah, 2019/04/29
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Tim Rühsen, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429),
Tim Rühsen <=
- Re: [Wget-dev] wget2 | Question : How to build the manual of wget2 ? (#429), Seb M, 2019/04/30