Skip to content

Private tool fix/muon segment makers

Simple fix of private tools. The first commit is just style fixes. The second one contains all important changes.

Merge request reports