Thanks for the head’s up. I see the issue ticketed upstream as https://github.com/ros-teleop/teleop_tools/issues/37
The next Dashing sync is planned for a week from today: 2019-09-24 if the issue can be resolved before the end of this week we should have no trouble getting it into the sync.