release: 3.13.3
separate all mime types with a colon
Revert "separate all mime types with a colon"

This reverts commit 74813a4c07c3b36565493bebc006fcd0d5e62aa9.
Fix MIME type lists in desktop files

Make sure we always use a ; betweeh mime types and a trailing ; as well
in desktop and backend files.

https://bugzilla.gnome.org/show_bug.cgi?id=732216
release: 3.13.3.1
libdocument: Add remove_annotation to DocumentAnnotations.

https://bugzilla.gnome.org/show_bug.cgi?id=649044
libview: add ev_view_remove_annotation

Hide annotation windows if necessary and unset selected
element before removing an annotation.

https://bugzilla.gnome.org/show_bug.cgi?id=649044
Add Delete Annotation option to the view popup

Based on this patch:
https://bug649044.bugzilla-attachments.gnome.org/attachment.cgi?id=275731
by Jose Aliste.
Adapted to the new menu.
libdocument: add ev_mapping_list_set_remove

Needed to remove annotations from a mapping list

https://bugzilla.gnome.org/show_bug.cgi?id=649044
pdf: Implement remove_annotation virtual func

https://bugzilla.gnome.org/show_bug.cgi?id=649044
Refreshing annotations' sidebar upon deletion

When an annotation is deleted, the sidebar needs to
be refreshed so that the annotation is removed from
the list

See item 3 in this comment:
https://bugzilla.gnome.org/show_bug.cgi?id=649044#c33