Regarding comment 4: we can as well update gda ourselves if there are good reasons - no need to block on Debian, although it's nice to be in sync.
Regarding comment 4: we can as well update gda ourselves if there are good reasons - no need to block on Debian, although it's nice to be in sync.