Hi Federico, Thank you for the instructions. I will try to help get them done as well.
On Tue, May 12, 2020 at 12:28:24AM +0200, Federico Bruni wrote: > In the last comment you should find a commit id (if it's missing you'll have > to search it). > The easiest and quickest way to verify that a certain id has been included > in the release tag label used in the issue is using Github. Start from this > URL: Another handy way to do this is to run git tag --contains <commit_hash>. (For me this is faster than github.) Kevin
