用户列表已丢失

[adflkjlvm (Juan Sanchez)]

更新到 9ebce86fd 解决了这个问题。感谢大家的帮助。

这是最近第二次升级导致问题，而且似乎如果不与其他分支正确地同步，就很难获得更稳定的版本。