frescobaldi-devel: upgrade to 20130912; remove no longer necessary patch
frescobaldi-devel: download ZIP from GitHub, instead of full Git repo
frescobaldi(-devel): capitalization of program names in notes
frescobaldi-devel: upgrade to 20130920; remove no longer necessary patch
frescobaldi-devel: variant +app enabled by default