The added change is a duplicate of a commit in the PR in the upstream https://github.com/fkanehiro/hrpsys-base/pull/1120, which assumedly will take awhile to get merged. Once it does then this commit should be reverted to avoid duplicate maintenance effort.
The added change is a duplicate of a commit in the PR in the upstream https://github.com/fkanehiro/hrpsys-base/pull/1120, which assumedly will take awhile to get merged. Once it does then this commit should be reverted to avoid duplicate maintenance effort.