Revision 542640fa
fix #5837: search on abbrevTitleCache instead of abbrev title
Files
- added
- modified
- copied
- renamed
- deleted
ID | 542640fa189c8e179e1d152ca31f1b50e89f18e2 |
Parent | 1de87368 |
Child | 504fc7ef |
Added by Katja Luther over 4 years ago
fix #5837: search on abbrevTitleCache instead of abbrev title