Commit dde6448379c9eeb0fc7cc476688002be661229b8

Behdad Esfahbod 2018-02-11T18:24:22

Another try at fixing multiple-defintion of NullPool This one might do it...