Hi Christoph,
> On May 5, 2018, at 1:39 PM, Christoph Berg <myon(at)debian(dot)org> wrote:> > 18.04 is supported on apt.pg.o. Also, upgrade the package examples to> PG 10.
Applied with minor edits. Thanks!
Jonathan