replace double fanout with fanout3
replace double fanout with fanout3

janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,rdavison/jbuilder,dra27/jbuilder,rdavison/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder