pesco/mixminion — comment on commit df255d2fffa1900fc419af6edc906a60f94bd757
File:  line 0
By nmathewson:

Looks ok; I can cherry-pick this one.