From: jenkins-bot Date: Tue, 23 May 2017 19:57:18 +0000 (+0000) Subject: Merge "Batch/pipeline backend operations in refreshFileHeaders" X-Git-Tag: 1.31.0-rc.0~3167 X-Git-Url: http://git.heureux-cyclage.org/?a=commitdiff_plain;h=1854f53ff10f01b01217d5c821678d39bdafbbec;p=lhc%2Fweb%2Fwiklou.git Merge "Batch/pipeline backend operations in refreshFileHeaders" --- 1854f53ff10f01b01217d5c821678d39bdafbbec