On 01/02/2023 06:05, Yetoo wrote:
On Tue, Jan 31, 2023, 9:47 AM David Chisnall wrote:
On 30/01/2023 21:39, Yetoo wrote:
If github is going to be considered for issue tracking I just want to
say, after having extensively using it for issue tracking, it tends to
be difficult to find an issue if
On Tue, Jan 31, 2023, 9:47 AM David Chisnall wrote:
>
> On 30/01/2023 21:39, Yetoo wrote:
> >
> > If github is going to be considered for issue tracking I just want to
> > say, after having extensively using it for issue tracking, it tends to
> > be difficult to find an issue if the exact title is
On 30/01/2023 21:39, Yetoo wrote:
If github is going to be considered for issue tracking I just want to
say, after having extensively using it for issue tracking, it tends to
be difficult to find an issue if the exact title isn't entered and many
duplicate reports are made as a result. Code s
