Merge pull request #1821 from iainx/replace-getline
authorJoão Matos <joao@tritao.eu>
Tue, 19 May 2015 17:14:29 +0000 (18:14 +0100)
committerJoão Matos <joao@tritao.eu>
Tue, 19 May 2015 17:14:29 +0000 (18:14 +0100)
[Profiler] Replace getline(3)


Trivial merge