Re: Some cherry-picks for stable/2.20

2019-07-12 Thread David Kastrup
Knut Petersen writes: > Hi everybody > > I think some commits in master should be cherry-picked for stable/2.20: > >git cherry-pick -x \ >6e98e7e7b0d0ac46ba7e54f4b3946228f44fc414 \ >9fb52ef2c93588192842fffa1b115c6f2d360321 \ >f76997b5097f588060f823c4c87f01bac9f2fe50 \ >b030094

Re: Some cherry-picks for stable/2.20

2019-07-12 Thread Werner LEMBERG
> I think some commits in master should be cherry-picked for > stable/2.20: > >git cherry-pick -x \ >6e98e7e7b0d0ac46ba7e54f4b3946228f44fc414 \ >9fb52ef2c93588192842fffa1b115c6f2d360321 \ >f76997b5097f588060f823c4c87f01bac9f2fe50 \ >b0300944e015b5957e50441224699e55c68c3dc3 \ >

Some cherry-picks for stable/2.20

2019-07-11 Thread Knut Petersen
Hi everybody I think some commits in master should be cherry-picked for stable/2.20: git cherry-pick -x \ 6e98e7e7b0d0ac46ba7e54f4b3946228f44fc414 \ 9fb52ef2c93588192842fffa1b115c6f2d360321 \ f76997b5097f588060f823c4c87f01bac9f2fe50 \ b0300944e015b5957e50441224699e55c68c3dc3 \