On Wed, Mar 08, 2017 at 08:39:09AM +0100, Andreas Schneider wrote: > Review and push much appreciated. Question: Shouldn't we do that in ads_do_paged_search_args? Volker