diff options
| author | Maxime Dénès | 2017-05-29 14:43:01 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-29 14:43:01 +0200 |
| commit | 1e93bc46bf8bbfe839bba39c18f7617d9f5caa5b (patch) | |
| tree | 5a717dab2534a97df47956ebdaadca62514c3f3b /dev | |
| parent | 4c1260299b707bd27765b0ab365092046b134a69 (diff) | |
| parent | 71d71554b7b3b0e50f67d5d1c4428c1ec4e6fa44 (diff) | |
Merge PR#555: Missing optimization when Kernel Term Sharing is disabled.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions