diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-11-27 01:31:37 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-11-27 01:43:08 +0100 |
| commit | 415e6c4dae39e467a0f6960af13ec310aa1bec01 (patch) | |
| tree | d6c101dceb224bc9919fa35d60eeabbfc4c74edf /allnoconfig.py | |
| parent | 4ea8b2b3cee33337c8b894602572460ee4f45cde (diff) | |
Make 13.3.2 releasev13.3.2
Adds two small menuconfig robustness improvements:
- Commit 7020b86 ("menuconfig: Ignore MENUCONFIG_STYLE on non-color
terminals")
- Commit 4ea8b2b ("menuconfig: Ignore errors from
use_default_colors()")
Diffstat (limited to 'allnoconfig.py')
0 files changed, 0 insertions, 0 deletions
