diff options
Diffstat (limited to 'issues/336.txt')
| -rw-r--r-- | issues/336.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/issues/336.txt b/issues/336.txt new file mode 100644 index 00000000..811c327c --- /dev/null +++ b/issues/336.txt @@ -0,0 +1,9 @@ +Id: 336 +Subject: eliminate notoken +Tracker: Bug +Status: Fixed +Fixed-Version: 0.4 +Created-On: Fri Dec 02 19:49:10 -0800 2011 +Updated-On: Sat Jan 21 14:04:13 -0800 2012 + +Wasteful. Can probably be removed with more careful computation of steps (formally consumed). |