Plenum 2014-05-12 agenda tweaks