There was a bug in patches which caused quite a few pull requests to be unacknowledged even though they were merged.
I fixed this problem and "caught up" those notes. Sorry for the temporary noise. Since I know some people use these notes to determine what has been merged, I thought it was important to get these on the list even though they are old. Regards, Anthony Liguori
