Can we get a new minor release?

[agadzik]

Hello!

We're eagerly awaiting a new release that includes #441. Is there any chance we can get a new release asap?

Thanks for your time and help, it's much appreciated!

cc @jianyuan

[jianyuan]

@agadzik I plan to ship a new release within a day or two.

[jianyuan]

v0.13.0 has been released!