GitLab

Since I started my PR the `add_special_token_single_sequence` function
has been deprecated for another; I replaced it with the new function.