Seafile Server 7.1.4 for Raspberry Pi is ready! 23.05.2020

[jobenvil]

@fidelio33b many thanks!, yes, you are right. I will fix it.