Re: [mpi-21] Ballot 4 proposal: fix attribute example 4.13