diff options
author | Joe Wasson <jwasson+github@gmail.com> | 2016-07-24 12:56:28 -0700 |
---|---|---|
committer | Joe Wasson <jwasson+github@gmail.com> | 2016-07-24 12:56:28 -0700 |
commit | f9956c2aac357645c4a77887a28c3ab58467893a (patch) | |
tree | 12be7aa7a2fc045a34da39259f0717944745f660 /util | |
parent | 8e1d96983aad19b3e4e72ece5db822e92d91342b (diff) |
Fix compiler warning when PREVENT_STUCK_MODIFIERS is enabled.
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions