chergert/gnome-desktop-programming — pull request #7 by jbicha (2012-10-07 15:19:13+00:00)
Title: intro: Use same install instructions for Debian & Ubuntu, use "or higher"

This stuff will still work on Ubuntu 12.10 or Fedora 18

Also, the Debian install instructions missed out on commit eb9f5212223d7
so why don't we just merge the Debian & Ubuntu instructions?