diff options
author | 2016-01-04 16:55:44 +0100 | |
---|---|---|
committer | 2016-01-04 16:56:54 +0100 | |
commit | bb9acba7cfe83ba3a5116b0e7aa78ac7f1219f60 (patch) | |
tree | 8be70fefaaa6f8130d098319b1463c28cfeb52fc /plugins/extraction | |
parent | d2b468a87cc50b1558feffc6cd3e1b866205c684 (diff) |
Fix handling of side-effects in case of `Opaque side-effects as well.
Diffstat (limited to 'plugins/extraction')
0 files changed, 0 insertions, 0 deletions