Yes, but with no results (I've forgotten to indicate it in previous message)
I've tagged with Pkg.tag() after package was commited and tagged with git:
state of source is in correct state to do this?
Thanks
Leonardo
Il giorno venerdì 20 novembre 2015 10:41:27 UTC+1, Kristoffer Carlsson ha
scritto:
>
> Did you tag with Pkg.tag("...")?
