On Sat, 25 Aug 2018, Hal Murray wrote: > Thanks. > >> https://gitlab.com/NTPsec/ntpsec/merge_requests/776 > > I approved the merge request, but I don't get anything new with git pull or a > fresh clone. That just flags it as "approved", but doesn't actually merge it. Is the "Merge" button active for you? Fred Wright