> Tatsuo Ishii wrote:
> > > > More question. Who is in charge of updating HISTORY? I see no commit
> > > > messages for this.
> > >
> > > It is a generated file.
> >
> > I mean release.sgml.
>
> Tom and others made commits to this and we will update it again before
> final.
Did it? I see nothing for txid in relesase.sgml.
--
Tatsuo Ishii
SRA OSS, Inc. Japan