Eric S Fraga <e.fr...@ucl.ac.uk> writes: > On Monday, 3 May 2021 at 15:00, Bastien wrote: >> Applied with commit 479a3da22 in master, thanks. > > Thank you Bastien. However, as soon as I looked, I realised that my > commit message missed out the "doc/" part of the file name for the > manual. Can you fix that (if necessary)?
Such small mistakes are okay, don't worry. It's better to leave them than to edit commit messages that have already been pushed to the public. -- Bastien
