Closed paulmueller closed 7 years ago
The changes are documentation only. Merging should not be a problem.
Thanks. I already incorporated those changes a while back ago.
The changes are documentation only. Merging should not be a problem.