Message169933
I find the current search quite useless.
I think index search with a fallback on text search when there are no results would be better. |
|
Date |
User |
Action |
Args |
2012-09-06 17:31:16 | ezio.melotti | set | recipients:
+ ezio.melotti, georg.brandl, terry.reedy, eric.araujo, r.david.murray, docs@python |
2012-09-06 17:31:16 | ezio.melotti | set | messageid: <1346952676.88.0.355075696334.issue15871@psf.upfronthosting.co.za> |
2012-09-06 17:31:16 | ezio.melotti | link | issue15871 messages |
2012-09-06 17:31:16 | ezio.melotti | create | |
|