Page 1 of 1

New patches bringing GitHub repo closer to production

PostPosted: Fri Aug 26, 2022 2:17 pm
by jgonggrijp
Josiah and I together identified some code changes on the production server that were not present in the public GitHub repository yet. I just created three patches to update the GitHub repo:

Reviews welcome!

PS: see also General development news.