Re: [lmi] Should we update libxml and its kin?

[Vadim Zeitlin]

On Mon, 21 Mar 2022 13:57:31 +0000 Greg Chicares <gchicares@sbcglobal.net> 
wrote:

GC> On 2022-03-21 12:26, Vadim Zeitlin wrote:
GC> > On Mon, 21 Mar 2022 02:45:30 +0000 Greg Chicares 
<gchicares@sbcglobal.net> wrote:
GC> [...]
GC> > GC> (A) Move the repository to the free world, i.e., gnu.org .
GC> > GC>     That's too much work just to let me make one change every
GC> > GC>     decade or two. 
GC> > GC> 
GC> > GC> (B) Ask you to commit my patch on github yourself.
GC> > GC> 
GC> > GC> (C) Alter some script (perhaps 'install_xml_libraries.sh')
GC> > GC>     to remove the unwanted file, e.g. [untested]:
GC> [...]
GC> > GC> Between (B) and (C), which would you prefer?
GC> > 
GC> >  (B) seems clearly preferable, so I'll do it if you don't mind.
GC> 
GC> Thanks.
GC> 
GC> >  You might get some conflicts with your local changes if I do it
GC> 
GC> That's okay: I can undo my local changes.
GC> 
GC> >  Should I do (B) right away?
GC> 
GC> Yes, please.

 Done now, please let me know if you see any problems.

 Thanks,
VZ

pgpqMc0K_IRgE.pgp
Description: PGP signature