Fixed (I guess you don't get a notification when a new commit is added to a PR).