Commit d83d9d5c431189537fc94c38a85ce2b8e3217f5d

Stefan Sperling 2019-05-13T17:16:28

make it possible to duplicate another reference with 'got ref'