Skip to content
Snippets Groups Projects
Commit 32c46b44 authored by Edward Moyse's avatar Edward Moyse
Browse files

Merge branch 'gaudidepr.TrigHLTMonitoring-20170710' into 'master' 

TrigHLTMonitoring: Fix reference to deprecated Gaudi header.

See merge request !3250
parents 3600d9a3 88106313
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment