[Pkg-electronics-devel] arduino-builder `git tag`

[Rock Storm]

On Fri, Mar 30, 2018 at 11:08:18AM +0200, Geert Stappers wrote:
> There are no "tags" in the git repo.

Oops, tags pushed to GitHub (and not to Salsa).

Cheers,

-- 
Rock Storm