[CentOS-devel] Minutes for CentOS Board of Directors 2019-12-18 Meeting