gplugin/gplugin

gplugin/gplugin/
closing merged branch
bugfix/gcc10
2020-02-25, Gary Kramlich
bf9d6ab90eb7