diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-05 15:25:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-05 15:25:36 +0200 |
| commit | 4141703b1a47a9772f315431a9e92445ef377840 (patch) | |
| tree | 30f021c814e150e15a9bc20e970e3d13e7a24e95 /servers | |
| parent | a49f3ba5accea027bf495465b9908b879b6877ab (diff) | |
| parent | e63e3875d7c4eb834bee2bb24c49c540cee0a0fd (diff) | |
Merge pull request #27339 from YeldhamDev/undoredo_merge_version
Fix 'UndoRedo' increasing its version on actions that should be merged
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions