tree 9c0764cde62bb2eecdeb60488ac48fe23e7ae30b
parent ce361fb24f0896bf7d983549117cbe1f70f32dcf
author Jonas Schievink <jonasschievink@gmail.com> 1578958939 +0100
committer Jonas Schievink <jonasschievink@gmail.com> 1579629716 +0100

Fix thumb target CI