Merge branch 'update-header-guard' into 'master'
TaggedBool: use a more specific header guard name See merge request gaudi/Gaudi!584
Please register or sign in to comment
TaggedBool: use a more specific header guard name See merge request gaudi/Gaudi!584