pump.io: preventing that a reenabling of the mirror option causes a flood of old posts
Merge pull request #191 from annando/master

pump.io: preventing that a reenabling of the mirror option causes a flood of old posts