(16:54:46) henninge: adeuring: oh sorry, sound turned off and not paying attention.
(16:55:20) henninge: adeuring: you are raising a basic question there that will need discussion on the mailing list, I think.
(16:56:53) henninge: adeuring: Are you ok with the branch if I just add the comments as you requested and leave it to a future branch to reflect the outcome of that discusstion?
(17:00:11) adeuring: henninge: yes, that's fine, I think
(16:54:46) henninge: adeuring: oh sorry, sound turned off and not paying attention.
(16:55:20) henninge: adeuring: you are raising a basic question there that will need discussion on the mailing list, I think.
(16:56:53) henninge: adeuring: Are you ok with the branch if I just add the comments as you requested and leave it to a future branch to reflect the outcome of that discusstion?
(17:00:11) adeuring: henninge: yes, that's fine, I think