No, VARIANT is correct there - it means the configuration file variant rather than the keyboard variant. The problem is that we're using the cached file even when CONFIG=$USER_CONFIG. I'll get this fixed.
No, VARIANT is correct there - it means the configuration file variant rather than the keyboard variant. The problem is that we're using the cached file even when CONFIG= $USER_CONFIG. I'll get this fixed.