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