diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-01 01:35:06 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-01 01:35:06 +0200 |
| commit | ce7c528298b045b7363d530a8db034aeb622cd42 (patch) | |
| tree | 97a858abf220c511d1303130323bf5fbfd6d47c8 /printing | |
| parent | 8b15eee6125f7f8596f17e9c982fb944a5e3f9be (diff) | |
[stm] More cleanup of "classification is not an interpreter"
We remove meta-information from the query classification and we don't
process `Stm.query` as a transaction anymore, as the right API is
available to it to execute the command directly.
This simplifies pure commands and removes some impossible cases.
Depends on #7138.
Diffstat (limited to 'printing')
0 files changed, 0 insertions, 0 deletions