Seafile Server 7.1.4 for Raspberry Pi is ready! 23.05.2020

@IssueFindings don’t worry, the point from @klangborste is that if you use the rpi.stretch version, you must install Python 3.6.10 as well. It is not enough creating the symlink.