Thomas DeVore

#837093

@thomas_devore