ユーザーリストが見つからなくなりました

[adflkjlvm (Juan Sanchez)]

9ebce86fdにアップデートしたら、問題が解決しました。皆さん、ご協力ありがとうございました。

最近、アップグレードで問題が発生したのは2回目ですが、他のブランチとのタイミングを適切に合わせないと、より安定したリリースに移行するのは簡単ではないようです。