David Malone writes: > On Tue, Mar 30, 2004 at 09:28:32PM +0300, Niki Denev wrote: >> I suppose this little patch will fix this, but i don't know if it is >> appropriate for a PR to be filed about such minor problem? > > In general it is a good idea to submit a PR, as it means the patch > and the problem are slightly less likely to get lost. However, I've > just committed your patch, so there's no need this time. > > David. > Ok, thanks, i will keep that in mind for the future. --Niki
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:49 UTC