As the change is trivial, I'm going to make it on merge time, so I proceed with the merge.
Regards
« Back to merge proposal
As the change is trivial, I'm going to make it on merge time, so I proceed with the merge.
Regards