[virtuoso-opensource/f15] (8 commits) ...Merge branch 'master' into f15

[Rex Dieter]

Summary of changes:

  917600a... respin, enable 'make check' (*)
  bbd9e77... gawk4 patch Requires: gawk (*)
  1fbff1b... drop Requires: gawk, add gawk4 bug reference (*)
  207f5a0... disable 'make check' again (for now) (*)
  db3ceb2... 6.1.4 (*)
  4958451... drop old patch (*)
  ce9fd70... disable-all-vads on ppc/ppc64 to workaround FTBFS (#725347) (*)
  33cc331... Merge branch 'master' into f15

(*) This commit already existed in another branch; no separate mail sent