re: earmv7: building release failed

Mon, 19 Aug 2019 23:20:27 -0700 

argh, that one should be fixed now, too.

thanks.

Reply via email to