Revision 1136011113b286df2752085777436e524acfe98c

Committed on 14/12/2020 11:15 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Migrate Travis to GitHub Actions