Merge pull request #36 from jihchi/patch-1
authorRalf Jung <post@ralfj.de>
Sun, 29 Nov 2020 13:57:07 +0000 (14:57 +0100)
committerGitHub <noreply@github.com>
Sun, 29 Nov 2020 13:57:07 +0000 (14:57 +0100)
commit5e5fce4374c181273dba7182706301e8118bfcf3
tree14496c6e19d9d4c1430f71047546725d254d8b19
parentdf09db3d90ff0e7c9cfdde074dfeb514eda7ed45
parent8592458fd3494ebce80727341663c7b0036e3ede
Merge pull request #36 from jihchi/patch-1

Update part15.rs: a trivial typo