]> git.lizzy.rs Git - rust.git/commitdiff
Merge #708
authorbors[bot] <bors[bot]@users.noreply.github.com>
Wed, 30 Jan 2019 18:54:53 +0000 (18:54 +0000)
committerbors[bot] <bors[bot]@users.noreply.github.com>
Wed, 30 Jan 2019 18:54:53 +0000 (18:54 +0000)
708: Clear the console when running single tasks r=matklad a=kjeremy

Co-authored-by: kjeremy <kjeremy@gmail.com>

Trivial merge