Commit 505287bea16696d4be0e66f0d9c1db6eafea9fb6

Stefan Sperling 2019-03-15T13:06:47

properly handle duplicates when calling insert_ref()