New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/29552#issuecomment-817240626

Comment:
I believe this PR will be repurposed to a cgal update?