Dear list members, Please accept my sincere apologies for the vast amount of Git commit notifications in the past minutes. I didn't consider that some of the upstream tags were not merged into the master branch, and re-enabled notifications before pushing them. Sorry. -- Feri.