Seafile Server 7.1.4 for Raspberry Pi is ready! 23.05.2020

Yes, it is missing in the 7.1.4. Sorry. Can you please download it and install under /seafile/bin?