Re: [dpdk-dev] [EXT] [PATCH v3] devtools: fix wrong headline lowercase for arm

27/12/2018 13:34, Jerin Jacob Kollanukkaran: > On Fri, 2018-12-21 at 14:02 +0800, Gavin Hu wrote: > > Change to the new wording according to Arm corp: > > https://mails.dpdk.org/archives/dev/2018-October/115174.html > > otherwise, "Wrong headline lowercase" may be falsely reported. > > > > Fixes:

Re: [dpdk-dev] [EXT] [PATCH v3] devtools: fix wrong headline lowercase for arm

On Fri, 2018-12-21 at 14:02 +0800, Gavin Hu wrote: > External Email > > --- > --- > Change to the new wording according to Arm corp: > https://mails.dpdk.org/archives/dev/2018-October/115174.html > otherwise, "Wrong headline lowercase