mjschuster
Results
2
comments of
mjschuster
Dear @pfankhauser, thanks! It'd be great if you could have a look at this. I myself probably won't have the time for a pull request on this issue anytime soon....
Thanks @ThomasEmter @pfankhauser ! While these fixes should address some of the alignment issues, I think there still are some more (and more complicated) ones left, in particular with respect...