tree 5eff0531db2c7413cfb4fd6bd4eb5cc86048dea7
parent f25e1206fcc3bfc237e250aa38296cc37b116745
author Tim Edwards <tim@opencircuitdesign.com> 1669998986 -0500
committer Tim Edwards <tim@opencircuitdesign.com> 1669998986 -0500

Implemented the change from PR #319, which got deleted when I did
the mirror copy, because I failed to merge it first.