Register PatrollingFlaggedRevs in configuration.hpp too