[m-rev.] for review: commit to the new build_srcdist

[Julien Fischer]

On Sun, 11 Oct 2020, Zoltan Somogyi wrote:

> For review by Julien. Note that the diff does not include the effect
> of doing "git rm" on the old build_srcdist, and "git mv" to rename
> the old build_srcdist2 to just build_srcdist.

That's fine.

Julien.