On Fri, Nov 24, 2017 at 12:21 AM, Oleg Bartunov <obartunov@gmail.com> wrote:
> On Thu, Nov 23, 2017 at 6:01 PM, Peter Eisentraut
> <peter.eisentraut@2ndquadrant.com> wrote:
>> The documentation sources are now DocBook XML, not SGML. (The files are
>> still named *.sgml. That's something to think about separately.)
>
> Congratulations to you and Alexander !
+1.
--
Michael