Frank, please use "Reply All" so as to keep 24920@debbugs.gnu.org on cc,
thanks.