| Yeah, in that case you'd have to go through the changelog on the wiki and figure out what version it was released in. Normally the person who released the plugin should update the ticket, probably someone just forgot for your two tickets. It helps if in GitHub you make the PR title start with "[JENKINS-XXXXX]" and add a "See JENKINS-XXXXX" link to the PR description, but in this case you already did that, so nothing wrong on your side. |