julia
release-1.8: set VERSION to 1.8.3
#47556
Merged

release-1.8: set VERSION to 1.8.3 #47556

KristofferC merged 1 commit into release-1.8 from kc/release-1.8.3
KristofferC
KristofferC KristofferC added release
KristofferC KristofferC requested a review from ararslan ararslan 3 years ago
DilumAluthge
KristofferC set VERSION to 1.8.3
362e702c
DilumAluthge DilumAluthge force pushed from a79f48bd to 362e702c 3 years ago
ararslan
ararslan approved these changes on 2022-11-14
DilumAluthge
DilumAluthge
DilumAluthge approved these changes on 2022-11-14
KristofferC KristofferC merged 0434deb1 into release-1.8 3 years ago
KristofferC KristofferC deleted the kc/release-1.8.3 branch 3 years ago
EwoutH
KristofferC
EwoutH

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone