Thank you, Brian.
My understanding is that to end the proposal means it has to go through a couple of formalities, eg going back to the Committee so they can withdraw it. But if it's "deleted full stop" from the full agenda, I assume this now will happen.
Thank you for informing us, David, and may the blisters on your tootsies (after your mega-trek yesterday) grow ever smaller.
