Add concept of 'retired' configs to firedrake-configure#5153

connorjward wants to merge 1 commit into

releasefiredrakeproject/firedrake:releasefrom

connorjward/fdconf-improvefiredrakeproject/firedrake:connorjward/fdconf-improveCopy head branch name to clipboard