« Previous | Next » 

Revision a41c337e

IDa41c337ecf0f506ec4d0e9d0be4bc8f80bdc28bd
Parent bc4cdeef
Child 1fc3812c

Added by Iustin Pop over 11 years ago

Use the new name filtering behaviour in query

We do this not quite generically, which means we have to add
another layer in the call chain, and rename the current query
function, plus add special-case code for each query type. Hopefully we
will be able to improve on this in the future.

A (good) side effect of this patch is that we get the desired
ordering when names are requested, matching the Python code.

Signed-off-by: Iustin Pop <>
Reviewed-by: Agata Murawska <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences