Am Montag, dem 05.08.2024 um 17:33 +0100 schrieb Tomasz Kołodziejski: > Would you expect running make at top level to have built this as > well? No, I wouldn't. We only commit gmo files from time to time as they are rather big. -- Jürgen