wget-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: wget2 | Improve manual formatting (!526)


From: Carles Pina Estany (@carles_pina)
Subject: Re: wget2 | Improve manual formatting (!526)
Date: Fri, 04 Aug 2023 10:15:15 +0000



Carles Pina Estany commented: 
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1500482978

Thanks for the quick feedback!

> When done locally, just force push with `git push --force-with-lease`, so 
> that I can approve/merge.

Done!

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/-/merge_requests/526#note_1500482978
You're receiving this email because of your account on gitlab.com.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]