Release 0.8.5.RELEASE

Question 1

fyi, I see this release on Maven Central, but not in github releases.

Elena Felder · Answer · Wed May 12 2021 03:45:21 GMT+0800 (China Standard Time)

fyi, I see this release on Maven Central, but not in github releases.

Question 2

Thanks for the heads-up. I pushed the tag now.

Mark Paluch · Answer · Wed May 12 2021 15:00:53 GMT+0800 (China Standard Time)

Thanks for the heads-up. I pushed the tag now.