#2013: piraha breaks ThornDoc building ---------------------+------------------------------------------------------ Reporter: rhaas | Owner: brandt Type: defect | Status: closed Priority: major | Milestone: Component: Cactus | Version: development version Resolution: fixed | Keywords: ---------------------+------------------------------------------------------ Changes (by rhaas):
* status: reviewed_ok => closed * resolution: => fixed
Comment:
Applied as git hash 5dd70e1e of the flesh.