Skip to content

Commit

Permalink
patch review done - no cherry picking needed
Browse files Browse the repository at this point in the history
all changes of the named commits are already in this branch
  • Loading branch information
jdsn committed Sep 15, 2011
1 parent 120de5a commit 98a8aab
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions TODO
Original file line number Diff line number Diff line change
@@ -1,11 +1,3 @@
TODO (new-master):
=============================

verify some patches and port it to new-master:
* c25c5e9a31a1d3fc07ad50fd66ed9b06747bd4b9 (jdsn)
* 62ce13ec86d2e75a066acf33c254207a35a1e15a (jdsn)


TODO (SMT11):
=============================

Expand Down

0 comments on commit 98a8aab

Please sign in to comment.