diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -1,9 +1,6 @@ Candidates for upcoming release =============================== -* Trivial fixes: - * Remove travisci - * Quick issues: * #438: things written to stdout instead of stderr; --no-warn issues * #454: integer overflow |