Closed justbert closed 8 months ago
No longer needed since these sites are being taken down.
@justbert could you take a look at the duplicated PR I've created here to apply your change:
If all looks as you expect, I'll get it merged for you!
Summary | Résumé
No longer needed since these sites are being taken down.