GitLab

Refresh symbols file with latest upstream changes.
Signed-off-by: Arturo Borrero Gonzalez <arturo@debian.org>