Bug#773064: unblock: gnome-menus/3.13.3-4

[Josselin Mouette <joss@debian.org>]

Hi,

Le samedi 13 décembre 2014 à 22:37 +0100, Josselin Mouette a écrit :
>   * 30_xdg_syntax.patch: patch from upstream git. Support multiple 
>     desktops in XDG_CURRENT_DESKTOP. Closes: #773013.

Please wait for a newer upload, there’s a typo in the upstream patch.

Thanks,
-- 
 .''`.      Josselin Mouette
: :' :
`. `'
  `-