New review comment by marmeladema on void-packages repository

https://github.com/void-linux/void-packages/pull/38308#discussion_r934052558

Comment:
Should I open a PR to fix docker?