Merge last changes from Matt
This is the last difference to the repo that wasn't merged in from the codebase on GH maintained by Matt. Libtool looks innocuous, but I don't know the knock-on effects of this change alone.
GitLab will be updated on 12-Feb-2026 between 12:00 and 14:00. There may be small periods of service instability.
This is the last difference to the repo that wasn't merged in from the codebase on GH maintained by Matt. Libtool looks innocuous, but I don't know the knock-on effects of this change alone.