Robert Dodier wrote: > I've tagged 5.31.1 in Git (and pushed the tag) and built source fyi, this release seems to have the same problem with make install DESTDIR=... not working that I reported with 5.31.0 awhile back. -- Rex