On 12/07/2017 12:47 AM, Thomas Huth wrote: > On 06.12.2017 23:16, John Snow wrote: >> I tweaked this again, sorry: >> >> The names need to stay public, but the wrappers to manipulate the >> objects can stay internal. Minor difference. >> >> If that's okay, I'll just merge this in. >> OK? > > Sure. Feel also free to replace my "Signed-off-by" with "Reported-by" in > that case if you like. > > Thomas >
I forgot about this. Sending the PR now.