b6f8f82 Adjust release tag for riscv64

Authored and Committed by zbyszek 2 months ago
1 file changed. 6 lines added. 0 lines removed.
    Adjust release tag for riscv64
    
    If it is specified externally, we hounour that. Otherwise, default
    to "1.0.riscv64" on riscv.
    
        
file modified
+6 -0