Summary of changes: 043067f... Fixed doc-related build failure (bug #992790). (*) bd9ee68... Merge branch 'f19' (*) This commit already existed in another branch; no separate mail sent