EnDe Tan 273c181d73 openocd: fix build error 1 jaar geleden
..
openocd 273c181d73 openocd: fix build error 1 jaar geleden