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.Received on Tue Mar 30 2004 - 10:03:23 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:49 UTC