PatCandidates Lepton.h : make the miniPFIsolation() const

[gpetruc]

backport bugfix part of #20367 to 92X as requested in #20414

[cmsbuild]

A new Pull Request was created by @gpetruc (Giovanni Petrucciani) for CMSSW_9_2_X.

It involves the following packages:

DataFormats/PatCandidates

@perrotta, @cmsbuild, @monttj, @slava77 can you please review it and eventually sign? Thanks.
@gouskos, @cbernet this is something you requested to watch as well.
@davidlange6, @slava77 you are the release manager for this.

cms-bot commands are listed here

[perrotta]

please test

[cmsbuild]

The tests are being triggered in jenkins.
https://cmssdt.cern.ch/jenkins/job/ib-any-integration/22810/console Started: 2017/09/08 13:18

[cmsbuild]

+1
Tested at: 87e4de4
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-20431/22810/summary.html

The following merge commits were also included on top of IB + this PR after doing git cms-merge-topic:
7c7cf4a
You can see more details here:
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-20431/22810/git-log-recent-commits
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-20431/22810/git-merge-result

[cmsbuild]

Comparison job queued.

[slava77]

+1

for #20431 87e4de4

• technical
• jenkins tests pass

This is an important fix of (const) access to the miniPFIsolation. @davidlange6 please merge soon.

[cmsbuild]

Comparison is ready
https://cmssdt.cern.ch/SDT/jenkins-artifacts/pull-request-integration/PR-20431/22810/summary.html

Comparison Summary:

• No significant changes to the logs found
• Reco comparison results: 0 differences found in the comparisons
• DQMHistoTests: Total files compared: 23
• DQMHistoTests: Total histograms compared: 1904608
• DQMHistoTests: Total failures: 44113
• DQMHistoTests: Total nulls: 0
• DQMHistoTests: Total successes: 1860321
• DQMHistoTests: Total skipped: 174
• DQMHistoTests: Total Missing objects: 0
• Checked 94 log files, 14 edm output root files, 23 DQM output files

[davidlange6]

merge