Thread:Chisel's-on-the-way/@comment-32210639-20170719013758/@comment-32210639-20170719150813

Is that still ok?