#1410: add boost external library to ET --------------------------+------------------------------------------------- Reporter: rhaas | Owner: eschnett Type: enhancement | Status: review Priority: major | Milestone: Component: Carpet | Version: development version Resolution: | Keywords: Boost --------------------------+------------------------------------------------- Changes (by rhaas):
* status: new => review
Comment:
Thorn to be reviewed is on github