I did a merge about a week ago, and Phil has one pending. So I guess we'll get to it. I'd prefer to limit cherry picks, you get a new commit for the same change, kind of messes up history.
On June 4, 2018 1:45:33 PM PDT, George Nash <george.n...@intel.com> wrote: >I have a commit that just went into the 1.4-rel branch. > >Does anyone know if the 1.4-rel branch is being merged with master >similar to the way the 1.3-rel branch was being merged? Or am I >responsible for cherry-picking the change myself? > >George Nash -- Sent from my Android device with K-9 Mail. Please excuse my brevity.