Re: [ET Trac] [Einstein Toolkit] #1982: Formaline: speed up git repo updates

#1982: Formaline: speed up git repo updates ------------------------------------+--------------------------------------- Reporter: rhaas | Owner: Type: enhancement | Status: closed Priority: major | Milestone: Component: EinsteinToolkit thorn | Version: development version Resolution: fixed | Keywords: Formaline ------------------------------------+--------------------------------------- Changes (by rhaas):

* status: reviewed_ok => closed * resolution: => fixed

Comment:

Applied as git hash 9583b71 of the flesh.