(gnus-revision-number): Increment to 12.