Sure BUT I have very litle time myself. The patch is obvious but I’m quite afraid of “unforeseen impacts”.
I’ll try in the next days, but if there is no git pull req by August 23rd (start of my next hospitalization), you can consider I’ve failed to find time or a solution.
Do you play Magic?
Get TopDecked MTG, the #1 Magic App, built by players, for players. Free to use, forever.