Daniel, thanks for the remainder, which I only discovered now. I forgot about finishing off the release. I am waiting for it to be accepted now. But note that 5.26 is not much different from 5.23, since most upstream changes concerned the iOS port.
Daniel, thanks for the remainder, which I only discovered now. I forgot about finishing off the release. I am waiting for it to be accepted now. But note that 5.26 is not much different from 5.23, since most upstream changes concerned the iOS port.