[CentOS-devel] Minutes for CentOS Board of Directors 2020-01-08 meeting