Description of problem: f17 release note 3.4.7 title should be "vmpk", not "vpmk".
Hi Robin fix bug 828745 "vmpk", not "vpmk". http://git.fedorahosted.org/cgit/docs/release-notes.git/commit/?id=ef17aa14cbaa7e0c5b89d3c890eea687e4a858d3 Best Regards!
I'm looking at this for publishing. The fix is in the source, and can be published with the next translation/bugfix push.
Good fix, Luis, thanks.