Seafile Server Pro 7 upgrade mysql script Issue

In the sql upgrade script “upgrade/sql/7.0.0/mysql/seahub.sql”, it specifies the DATETIME size, which will cause problem for mysql version 5.7 below, according to https://stackoverflow.com/questions/30562490/cannot-add-datetime-columns-to-mysql-table

See the highlighted part:
CREATE TABLE IF NOT EXISTS drafts_draft (
id int(11) NOT NULL,
created_at datetime(6) NOT NULL,
updated_at datetime(6) NOT NULL,
username varchar(255) NOT NULL,
origin_repo_id varchar(36) NOT NULL,
origin_file_version varchar(100) NOT NULL,
draft_file_path varchar(1024) NOT NULL,
origin_file_uuid char(32) NOT NULL,
publish_file_version varchar(100) DEFAULT NULL,
status varchar(20) NOT NULL,
PRIMARY KEY (id),
KEY drafts_draft_origin_file_uuid_id_f150319e_fk_tags_file (origin_file_uuid),
KEY drafts_draft_created_at_e9f4523f (created_at),
KEY drafts_draft_updated_at_0a144b05 (updated_at),
KEY drafts_draft_username_73e6738b (username)
) ENGINE=InnoDB DEFAULT CHARSET=utf8;

In the previous upgrade script, e.g., upgrade/sql/6.3.0/mysql/seahub.sql, there is no size for the DATETIME. So, I suggest to remove the “(6)” as a bug fix in the next release.