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)
commit51c0ec163f771a630aabc3a7d669e8c4dfb63b4d
treef742d19d0132059cbf30ac82e8c4d305136b6ea9
parent61f03cce307e0ef24211d9e15513778d99e4425b
parent3c51a37ebb286950dee46a300608b3fa51e18183
Merge branch merge-requests/637 for completeness

* github/merge-requests/637:
  Remove unused function vf_index_is_selected