Thread:Kakarots/@comment-26362471-20180713175205/@comment-24411065-20180713181549

For what it is worth, we have already collectively made a decision. It's up to Drake to respond to it now and choose which way this goes.