New comment by joshuakraemer on void-packages repository

https://github.com/void-linux/void-packages/pull/14474#issuecomment-533693562

Comment:
I have filed a feature request to reconsider the patch upstream, which was already suggested in 2011: https://sourceforge.net/p/dosbox/feature-requests/137/