I still have no idea what happened, but have not encountered problems
with unexpected keyboard layout changes since I reported this. This bug
probably can be closed.

Reply via email to