@kylecordes I think this is covered in (pending) #4423 ?

Ah, it appears so. Didn't see that one pending.

I also see that Travis failed. It appears to have nothing to do with this change, which makes me wonder if I should have based off something other than master.

master is fine. It seems like the error is the tests being flaky in JS.

What about closing the PR if you think the changes are covered in the other one ?

I think that other pull request is definitely much more complete than my change. But it is also a much bigger change, which means it will take someone more time to review and accept. I wonder if we should leave both of them here, so that whoever has time to review and accept can pick according to how much time they are able to devote to this part of the software?

I'll push for the other one to be reviewed shortly.

This issue has been automatically locked due to inactivity.
Please file a new issue if you are encountering a similar or related problem.

Read more about our automatic conversation locking policy.

_{This action has been performed automatically by a bot.}