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