I would like to inform you that I re-created today the tag v3.4.2 in the git
repository. Due to a last minute bug I fixed for 3.4.2 I had to delete the
old tag. Please update your local git repositories manually (see "git help
tag"). The 3.4.2 source package is on sourceforge.