CVSROOT: /cvs/webwml Module name: webwml Changes by: spaillar 08/05/22 15:43:55 Modified files: french/mirror : push_mirroring.wml Log message: Fix type introduced by my previous smart_change use ...