diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2018-09-18 18:31:37 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2018-09-18 18:31:37 +0200 |
| commit | dba8c3999d260fca0e7f891ab181829de714ffbe (patch) | |
| tree | 6991dcc417e2cf093e018221d4a2ded48d0ba7ec /editor | |
| parent | a4e4dd396665a29dac63339930a97852bb8cd449 (diff) | |
Fix put_var encoding some 32bits ints as 64bits.
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions