Skip to content

TaggedBool: use a more specific header guard name

Gerhard Raven requested to merge graven/Gaudi:update-header-guard into master

instead of using the header guard name of the original code, use one which is specific to the current filename

Merge request reports