From: Michael Thompson Date: Sat, 15 Feb 2014 17:16:50 +0000 (-0500) Subject: Merge pull request #6 from Gabriel439/patch-1 X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=6d64b4bd0ff71c32c5af37ffd87f7ecd5fc87bb3;p=github%2Ffretlink%2Ftext-pipes.git Merge pull request #6 from Gabriel439/patch-1 Loosen lower bound on `tex` for `noio` --- 6d64b4bd0ff71c32c5af37ffd87f7ecd5fc87bb3