[PATCH 01/13] Buffer.cpp: drop unused stack

2012-10-21 Thread Lars Gullik Bjønnes 

---
 src/Buffer.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 8b052ad..ebc5d3a 100644
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -113,7 +113,6 @@
 #include map
 #include set
 #include sstream
-#include stack
 #include vector
 
 using namespace std;
-- 
1.8.0.rc3.16.g8ead1bf

Re: [PATCH 01/13] Buffer.cpp: drop unused stack

2012-10-21 Thread Jean-Marc Lasgouttes 


This patch, and the others I saw, make sense. However, I only see 
numbers 1, 2, 4 and 6 (of supposedly 13 parts).


JMarc

Re: [PATCH 01/13] Buffer.cpp: drop unused stack

2012-10-21 Thread Lars Gullik Bjønnes 
Jean-Marc Lasgouttes lasgout...@lyx.org writes:

| This patch, and the others I saw, make sense. However, I only see
| numbers 1, 2, 4 and 6 (of supposedly 13 parts).

For some reason the seem to be trickling in.

I'll resend the missing once if they do no show up.

-- 
   Lgb