[gtk] (4 commits) ...Merge branch 'ci-update' into 'master'



Summary of changes:

  48cc262... Check for diff's availability (*)
  a5c0068... ci: Add diffutils to the CI image (*)
  2d30972... ci: Add internal links to the HTML report (*)
  6cacff9... Merge branch 'ci-update' into 'master'

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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]