diff options
| author | Enrico Tassi | 2015-11-02 15:01:15 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-11-02 15:19:41 +0100 |
| commit | 559c0a4a40410745f73822e893b3d1581056ea7a (patch) | |
| tree | 84f3847e36a4058ff31814e196b45d2e7e23c6fe /kernel | |
| parent | b49c80406f518d273056b2143f55e23deeea2813 (diff) | |
STM: never reopen a branch containing side effects
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions