Re: [cdt-patch] Fix for Disassembly View line offset bug

["Alain Magloire" <alain@xxxxxxx>]

> 
> Mikhail,
> 
> Great, thanks. In future, should I always submit a bug report for any
> patches, or is it just if something is not only going on the HEAD ?
> 

For a branch release, IMO, we should always have a corresponding
PR.  So we can track the changes in the database.

For the head, it may depend on the severity(i.e to correct a typo
may not be worth it) but still nice to track fixes through PRs.

The mailing list has the advantage of exposing the patch especially
for folks looking for reviews.