Merge branch merge-requests/637 for completeness
authorKlaus Ethgen <Klaus@Ethgen.de>
Sat, 6 Oct 2018 09:28:02 +0000 (10:28 +0100)
committerKlaus Ethgen <Klaus@Ethgen.de>
Sat, 6 Oct 2018 09:28:02 +0000 (10:28 +0100)
* github/merge-requests/637:
  Remove unused function vf_index_is_selected


Trivial merge