Minor user guide fixes
mikolaj at well-typed.com
Sat May 28 20:22:41 UTC 2022
Here you go:
If there are review comments, I guess I will be copying them
in emails to you and you will be sending me replies and new
commits to paste into the pull request?
All the best,
On Sat, May 28, 2022 at 8:55 PM Vilius Panevėžys <vp at mikrovisata.net> wrote:
> Hi Mikolaj,
> thank you for the prompt reply!
> On Sat, 28 May 2022 17:10:24 +0200
> Mikolaj Konarski <mikolaj at well-typed.com> wrote:
> > Would you like to create a pull request on github with these changes
> > to help us see them in context, e.g., whether they merge cleanly and
> > which branch, and to help us credit you properly?
> I don't use GitHub, so I hope it's not too much trouble to just `git
> am` the patches. I've rebased the patches on master today, so they
> should apply cleanly. However, if it turns out you need me to make any
> revision - let me know.
> My appreciation goes to all the people who have put in the time and
> effort into creating the user guide (not to mention Cabal itself!).
More information about the cabal-devel