Will there be a release between 1.2.3 and 2.0?

2.0 doesn’t seem to be coming very soon, and meanwhile there are many
fixes and features in edge that would be useful even without all of
2.0’s goodness.

Does anyone know if there are plans for a 1.3 (or whatever it would be
called) to be released?

1.2 came out about 6 months ago, and it would be nice to get an
intermediate release, especially if 2.0 is not going to be stablized
anytime soon.