It's no problem to me to rebuild a packages, even If there no code change. Feel free to add anything you want to git repo. 

вс, 10 дек. 2023 г., 21:27 Phyllis Smith <phylsmith2017@gmail.com>:

Will the Andrew's patch be included in the git tree?
Yes.  I have been hesitant to check into GIT,  changes that are really only configuration changes because I do not know if it is bothersome for you to have to do rebuilds automatically when GIT changes when there is no actual code change.  But I will check in what I have today.