Release 3.13.2
Fix the AppData file to conform to the latest style guide
Makefile-js: Remove reduntant dependencies

config.js and path.js are included in $(js_files).

https://bugzilla.gnome.org/show_bug.cgi?id=731031
Makefile-js: Don't include generated files in dist

Make sure we filter out the built sources from the js files
list before adding it to EXTRA_DIST.

https://bugzilla.gnome.org/show_bug.cgi?id=731031
Remove unneeded popover re-styling

It used to be that the rounded corners in the popovers wouldn't work
over a GtkClutter window. This seems to work better now, albeit not
perfect so remove the special casing.

https://bugzilla.gnome.org/show_bug.cgi?id=731498
LayersPopover: layout adjustments

See to it that the margins are the same in the layerpopover as in the
searchpopover. Also make the radio buttons centered, and go back to
having the default border-radius (since the popovers are rounded too).

https://bugzilla.gnome.org/show_bug.cgi?id=731498
Updated Spanish translation