Re: [PATCH] Improvements to relocatable

2017-07-30 Thread Bruno Haible
Hi Reuben, Thanks for the work on this! > > Patch 1 makes the default license in the files GPL, to avoid confusion; > > Bruno agreed to this: http://lists.gnu.org/archive/html/bug-gnulib/2017- > > 04/msg00013.html Applied with modification: there was still one occurrence of the word 'Lesser' lef

Re: [PATCH] Improvements to relocatable

2017-07-27 Thread Reuben Thomas
On 26 July 2017 at 16:01, Reuben Thomas wrote: > As per various emails back in April, some improvements to relocatable. > > Patch 1 makes the default license in the files GPL, to avoid confusion; > Bruno agreed to this: http://lists.gnu.org/archive/html/bug-gnulib/2017- > 04/msg00013.html > > Pat

[PATCH] Improvements to relocatable

2017-07-26 Thread Reuben Thomas
As per various emails back in April, some improvements to relocatable. Patch 1 makes the default license in the files GPL, to avoid confusion; Bruno agreed to this: http://lists.gnu.org/archive/html/bug-gnulib/2017-04/msg00013.html Patch 2 adds Valgrind suppressions. One open question is how boot