tree 0bfce067dc562cdb627aece75e62355abf52556f
parent f7e73ec0bbf0f4d36ba61c8a008f051d918189f5
author David Ostrovsky <david@ostrovsky.org> 1580494385 +0100
committer David Ostrovsky <david@ostrovsky.org> 1580543202 +0100

Adjust to core moving to List interface for ref filtering

Change I1f60c3ca0 changed the API to List interface for ref filtering.

Change-Id: I90e73625bd8276e13cf373ad9360b5658cb61516