report multiple solutions, server change message #2

Merged
uwiger merged 2 commits from uw-multiple-solutions into master 2025-03-24 06:04:30 +09:00