2015-04-09 3:45 GMT+09:00 Alvaro Herrera <alvherre(at)2ndquadrant(dot)com>:> Pushed this.
Thanks!-- Michael