tree 20f812b424a371f3f77c52e98b3b05a8d0918150
parent 6be64304b7e5cd4792fcd25d031127b99ef474bc
author Philipp Bucher <philipp.bucher@tum.de> 1632838178 +0200
committer Henry Schreiner <henryschreineriii@gmail.com> 1632838672 -0400

docs: fix minor typo (#3311)