<?php   function func_branch3($a, $b) { ..
Merge commit '290cf2d2fce0306729e5df6781ea4a2687ab8be2'
function conc_branch3($a, $b)
Merge commit '1dba7b6f5046f78d1f0eceb66e4a269e9836ccb7'