Source position: googlegmail.pp line 69
type THistoryTypemessagesDeletedArray = array of THistoryMessageDeleted;