[packages/grub2] (6 commits) ...Merge branch 'DEVEL'

[jajcus]

Summary of changes:

  5bafb55... Version: 2.00.git20131218 (current upstream git ss) (*)
  ffcd1c0... - GRUB_DISABLE_SUBMENU value changed with upstream merge (*)
  b876d99... Up to 2.02~beta2 (*)
  668ecb0... renumber patches (*)
  ec98fb4... -j1 for 'make update-gmo' (*)
  0c3ea03... Merge branch 'DEVEL'

(*) This commit already existed in another branch; no separate mail sent