Release notes for 0.7.2b (2012-04-17)

Due to an error slipped in the 0.7.2 release and quickly reported by early downloaders, I recommend to download the newly-released 0.7.2b now. Sorry!