I incorporated Julien's change suggestions (thanks for the review). Is it ok to upload uboot-envtools now? (Debdiff attached.) Best, Per
Attachment: uboot-envtools_20081215-2-3.debdiff Description: Binary data