# HG changeset patch # User Klaus Ethgen # Date 1538818082 -3600 # Node ID c6f5ac45ec6824615c29ef249bba3d40e69e4e28 # Parent ac5d820c9a9ebb7e3d4519bd2bae73a73e5948f7# Parent ff9bd38a7a4421ae2fe785c6948176aa6287aca6 Merge branch merge-requests/637 for completeness * github/merge-requests/637: Remove unused function vf_index_is_selected