[tor-project] Board Meeting Minutes from December 10, 2018