Commit 3413160a99d35c17f3e9d1c472eed30769530007

Stefan Sperling 2018-09-09T15:55:40

remove unused parameter of get_object_idx()