erc12864

Last modified July 15, 2026: Change color of warnings (f2d53c7)