Due to a programming error in some newly modified commit list scripts, a couple of commit messages were mistakenly forward to this list. The bug has been fixed. Sorry, Kurt