[CentOS-devel] Agenda for CentOS Board of Directors meeting for 2019-12-13