tree 3c1746eb564cadca635e2571d82efc079af5d53f
parent c0d1e0431fcaf6f92dd1396523ba63e12ddf0caf
author John Regehr <regehr@cs.utah.edu> 1583558230 -0700
committer John Regehr <regehr@cs.utah.edu> 1583558230 -0700

post feb 2020 board minutes