Re: git mirror out of date

Kris Jurka wrote:
> 
> The git mirror's last commit is from Sunday:
> 
> http://git.postgresql.org/?p=postgresql.git;a=summary

Update process was stuck.  It's up to date now.