Release Tags

[Daniel Spiewak]

I just noticed that the 1.3.4 release hasn't been tagged yet in Git.  Did
something just not sync yet?

Daniel