2 Aug
2017
2 Aug
'17
9:56 p.m.
[I think I'm not using gitlab effectively, because your commits and some merge requests aren't getting pushed at me...]
I didn't participate in this discussion, and reading over it, I don't really understand what this MR is trying to accomplish. Can you sum it up? Should we merge it before this release?
thanks, r