write_nointr takes a const char* buffer
authorJann Horn <jann@thejh.net>
Thu, 11 Jun 2015 12:24:05 +0000 (14:24 +0200)
committerJann Horn <jann@thejh.net>
Thu, 11 Jun 2015 12:24:05 +0000 (14:24 +0200)

No differences found