Supporting patches recorded with older versions of Pijul

Created by  pmeunier  on August 5, 2021
FJTRJD6BWXK5TMCYHXLTXVCM2ZOC4BN6Q5K72LAFITRK36RDYNDAC
Change contents