Commit f90f2567a0ef0bfed119c19d9281c8c5d68d78c3 Parent faf7ab378518b6ad8792603a41c641cb13b2ff83 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 26 Mar 2019 13:32:56 -0600 Merge pull request #269 from foonathan/master Fix cmake warning about CMP0048, again