8.0.0
Maciej Barć
@xgqt
40d8e0ad
·
*/info.rkt: bump to 8.0.0
·
Jan 25, 2022
Verified
bump to 8.0.0
