Hi, a recent update introduces an expression for building the current git HEAD. That version, however, is patched with something called "git_patch_glob". What are those patches about? Take care, Peter