In general, it is a good idea to use
`git commit --amend`
to edit in the issue number of an issue before pushing: that way people have a
better chance of locating it in the issue tracker.
---
** [issues:#5672] Clean up and document include file searching**
**Status:** Started
**Created:** Mon Jan 20, 2020 09:05 AM UTC by Han-Wen Nienhuys
**Last Updated:** Sun Feb 02, 2020 08:09 AM UTC
**Owner:** Han-Wen Nienhuys
https://codereview.appspot.com/573400043
---
Sent from sourceforge.net because [email protected] is
subscribed to https://sourceforge.net/p/testlilyissues/issues/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/testlilyissues/admin/issues/options. Or, if this is
a mailing list, you can unsubscribe from the mailing list.
_______________________________________________
Testlilyissues-auto mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/testlilyissues-auto
