Time for a v0.25 release?

[petergeoghegan]

It would be nice if you could create a new release, which would presumably become available via standard package managers before too long. There have been some useful bug fixes and enhancements since v0.24, and it's unfortunate that users are currently required to build from source to get those.

Thanks!

[EUA]

Yeah. Time has come. But I think I need to make bug fixing first.