Paul Eggert <eggert@cs.ucla.edu> writes:

> Nor do I. I was thinking of creating an emacs-25.3 branch post facto, 
> with a single commit representing the release, and tagged as
> emacs-25.3.

I have pushed commit bd299e7 in a new emacs-25.3 branch, as well as a
tag.

Cheers,
Nico