Commit 935dedc22ce43fc4bfdd4252c9d25c562a3f5dcc

Brent Cook 2019-09-09T22:08:34

remove duplicate copy of public header