gernst
committed
3 months and 2 days ago
Use the existing API when doing changes to the properties of an authority, otherwise the cache is not updated accordingly.