Closed sniffertine closed 4 years ago
After this pull request is merged, tag that commit with rec20_Rev13e_2017
rec20_Rev13e_2017
Merged and pushed a tag, is it correct?
yes, that looks fine. the download of the .jar file works now
After this pull request is merged, tag that commit with
rec20_Rev13e_2017