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