On 16 May 2017 at 13:13, Bernhard Reutner-Fischer wrote: > 1.5.0 wouldn't buy us anything as the "libdirs" handling is only in 1.5.2 and > later.
Ah I missed that in the earlier discussion. The change I care about in 1.5.3 is http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commit;h=5256bd82343000c76bc0e48139003f90b6184347
