Cloner version

Cloner version 1.7.7 doesn't copy pages. It was provided an hotfix here:

https://premium.wpmudev.org/forums/topic/got-problems-with-cloner-pages-doesnt-get-copied-everything-else-does#post-1313528

I'm not sure how im supposed to include this 'hotfix' in a dev / stage / live workflow. have you able to make a composer patch?