a612da8 Merge branch 'master' into f27

Merged and Committed by fche 5 years ago
    Merge branch 'master' into f27
    
    * master: (39 commits)
      upstream 4.0 release
      test simplify more
      Automated weekly systemtap rawhide release: 0.20181003git4ad1e11de831
      CI try 8
      CI try 7
      CI try 6
      Automated weekly systemtap rawhide release: 0.20180914gitfe4e14f4af16.1
      CI take 5, k.i.s.s.
      Automated weekly systemtap rawhide release: 0.20180914gitfe4e14f4af16
      CI try 4
      Automated weekly systemtap rawhide release: 0.20180914git11a0a7aea387
      Automated weekly systemtap rawhide release: 0.20180914gitc1befcceae01
      CI try 3 - hand-install the kernel-debuginfo
      Automated weekly systemtap rawhide release: 0.20180914gitc1befcceae01
      more rhts boilerplate imported from acl/
      Automated weekly systemtap rawhide release: 0.20180914gitc51d4e55d285
      CI experiment
      Automated weekly systemtap rawhide release: 0.20180906git37598c4fee7c
      Automated weekly systemtap rawhide release: 0.20180906git37598c4fee7c
      Automated weekly systemtap rawhide release: 0.20180810git
      ...
    
        
file modified
+15 -0
file modified
+1 -1
file modified
+98 -10
file added
+11