Closed torydebra closed 4 years ago
This was not so straightforward to do as I expected. So I created the pull request to easily check the modifications if it is necessary in future. Now is safe to merge, I tested it
Ok, I checked it: if the documentation is updated with the above, I will merge.
I close, @liesrock merged
I usually speak about fingers but in truth the code still uses fingertips names. Using finger names is better because it is easier to change that name (because of srdf file)