id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release 13003,"Ticket box label ""PRs:"" is always inactive",lucid,lucid,"Since [16118] we show the PRs in the ticket box. For some reason the label ""PRs:"" is always inactive.",defect,closed,normal,PullRequestsPlugin,normal,fixed,,,