> Reinhard, please try again?
made a commit, got no email.
Very sorry to hear it.Perhaps it is a general problem with mail from our vcs host to lists.gnu.org. Running echo karltest | mail -v te...@lists.gnu.org from the command line gets "connection timed out". On the other hand, maybe the cmdline mail client isn't expected to work, because I know the mail should go through eggs.gnu.org and not directly to lists.gnu.org, but that doesn't seem to be happening. Michael ... ?? karl
