Reopen pull request #395#396
Conversation
|
Is this #395 with the comments in there addressed here? |
|
Yes. I separated the modification on the original |
christian-rauch
left a comment
There was a problem hiding this comment.
Thanks. I only have one minor comment about the included header left. Please make these changes to the respective commit and force push to this same PR branch again.
|
May I confirm if this commit is able to merge? |
You did not request a review. Therefore, I did not receive a notification about this. I will have a look now. |
No, sorry. You did request a review :-) It just went unnoticed. |
christian-rauch
left a comment
There was a problem hiding this comment.
Looks good. Thanks!
No description provided.