diff options
| author | Théo Zimmermann | 2019-12-02 08:35:38 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-12-02 08:58:28 +0100 |
| commit | a03543efc3ab66a846f392ea87897f7354c5a547 (patch) | |
| tree | 49d5c9aa41246b78a52fb5e48879874cac610ef2 /dev/include_printers | |
| parent | 20842fec926de9f5c05ade807ff86a22e6e88ba6 (diff) | |
Warn more clearly about incompatibilities coming from #10476.
Diffstat (limited to 'dev/include_printers')
0 files changed, 0 insertions, 0 deletions