On Thu, Nov 16, 2017 at 10:47 PM, Peter Eisentraut
<[email protected]> wrote:
> Pushed 0001, will continue with 0002.

Thanks!
-- 
Michael

Reply via email to