Andreas, I've pushed the fixes to Debian now too so we are in sync. Sorry again for my bad sync earlier.
Andreas, I've pushed the fixes to Debian now too so we are in sync. Sorry again for my bad sync earlier.