tree 5710aef15ed672ee2200b0886a7fd2334d73ac0f
parent a50828bc323bcebc19bb78fb27d3755318df5230
author Marc Kupietz <kupietz@ids-mannheim.de> 1583509822 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1583576843 +0100

gh-actions: error on note in windows_check

Change-Id: Ib4d0a89443acfc6d03014f9d1c4c19fcca4bf931