New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/25878#discussion_r512799930 Comment: If they are empty directories, it should be ok.