Closed nirinchev closed 9 months ago
➤ nhachicha commented:
PR merged, but we need a manual release since Jenkins is down.
➤ nhachicha commented:
10.18 is released on maven central but we need to upload the Docs and unstriped version manually as well (need to get s3 credentials from GH repo)
There are some important fixes that have shipped recently in Core so we should pick them up and do a new release with them.