jippi/puppet-php — pull request #32 by peterbraden (2013-11-13 21:03:41+00:00)
Title: Update apt.pp

dotdeb.org key is redirected now - follow the redirect.