On Tue, 02 Aug 2016 11:38:18 +0100 ais523 <callforjudgem...@yahoo.co.uk> wrote:
> > 7807+ aranea 2.0 s/I(?=ADoP)// > PRESENT; the office has been called the IADoP for my entire (fairly > long) Agoran career, although I'm not sure if that's a reason not to > change it (and it has used the name ADoP in the past) The name has been officially changed to ADoP in 2015 by Proposal 7758. This proposal is just a cleanup; a few instances of "IADoP" remain in the ruleset because they have been either introduced after the renaming or because 7758 failed to amend them due to insufficient power. -- aranes
