]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/kconfig_flex_arg' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Fri, 22 Feb 2019 07:49:11 +0000 (15:49 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Fri, 22 Feb 2019 07:49:11 +0000 (15:49 +0800)
kconfig: fix compatibility with very old versions of flex

See merge request idf/esp-idf!4263


Trivial merge