diff options
author | regnat <rg@regnat.ovh> | 2020-09-15 09:10:37 +0200 |
---|---|---|
committer | regnat <rg@regnat.ovh> | 2020-09-16 13:53:09 +0200 |
commit | fc2d31c423377cea2355e7f7a4ce75e64a7f3620 (patch) | |
tree | 11569090dcfd250eb944b7b8d54dcf2cb5836340 /.dir-locals.el | |
parent | a1e82ba450f274966dc45375b42b5d4413fff77d (diff) |
Add `(StoreConfig*)` casts to work around a GCC bug
Work around https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80431 that was
already there in the code but was accidentally removed in the last
commits
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions