Upgrading from Seafile server 9.0.5 to 10.0.1

[Aditya_Kumar]

Hi

I have seafile server 9.0.5 and want to upgrade to 10.0.1

However in the upgrade directory I only see upgrade_9.0_10.0.sh

Do I need to upgrade to 9.0.10 first? If so how do I get that version?