[Warzone2100-commits] [Warzone2100/warzone2100] 6e1211: [GitHub Actions] Update super-linter

[pastdue via Warzone2100-commits]

  Branch: refs/heads/master
  Home:   https://github.com/Warzone2100/warzone2100
  Commit: 6e1211f010f7558e18203f6cb35707586d60d7b9
      
https://github.com/Warzone2100/warzone2100/commit/6e1211f010f7558e18203f6cb35707586d60d7b9
  Author: past-due <30942300+past-...@users.noreply.github.com>
  Date:   2020-09-30 (Wed, 30 Sep 2020)

  Changed paths:
    M .github/workflows/CI_linter.yml

  Log Message:
  -----------
  [GitHub Actions] Update super-linter




_______________________________________________
Warzone2100-commits mailing list
Warzone2100-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits