Re: Space resolution - ready for merge

2005-10-24 Thread Jeremias Maerki
I'm going to do the merge today. Big thanks to Simon for doing a review on my stuff!!! On 20.10.2005 21:15:44 Simon Pepping wrote: On Wed, Oct 19, 2005 at 03:13:53PM +0200, Jeremias Maerki wrote: I'm comfortable now with the space resolution code. If it's ok for everybody, I'd like to merge

Re: Space resolution - ready for merge

2005-10-20 Thread Simon Pepping
On Wed, Oct 19, 2005 at 03:13:53PM +0200, Jeremias Maerki wrote: I'm comfortable now with the space resolution code. If it's ok for everybody, I'd like to merge the space resolution branch into Trunk. I've documented the open issues I know. All these issues have a (disabled) test case to

Space resolution - ready for merge

2005-10-19 Thread Jeremias Maerki
I'm comfortable now with the space resolution code. If it's ok for everybody, I'd like to merge the space resolution branch into Trunk. I've documented the open issues I know. All these issues have a (disabled) test case to demonstrate the problem. The only thing that I will probably do right now