Revision a0557101
fix #5868 avoiding unneccesary "complex phrase" queries, fixes bug introduced while solving #4223
Files
- added
- modified
- copied
- renamed
- deleted
| ID | a0557101d172b8f2acc143799186378be4c3a002 |
| Parent | a9dc4b35 |
| Child | bafcf277 |
Added by Andreas Kohlbecker 11 months ago
fix #5868 avoiding unneccesary "complex phrase" queries, fixes bug introduced while solving #4223