tree 40f14594515cecb51683588c14701660a09da935
parent 4681792615d4b9def5df274c03bd16a776e6b230
author Michael Thomsen <mit@google.com> 1589480331 +0200
committer GitHub <noreply@github.com> 1589480331 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJevYuLCRBK7hj4Ov3rIwAAdHIIACNctAPfa3QhfVW69wx844oJ
 UZzI4qXuueHgZ672lSqACrg6jdHn0U1qfoJrK0F5GQujvpZoM+u5xlKGvj8xxIcf
 4UYyAMEjkq3K5GhLUtnvWMQUEpRZQgyfJehhwKcd9d5o7IsVyPLN5Ri/LroJnrGC
 kjB3fSMr4j5YJqcawjqek5oo8mNhCYBbvYZMU+YZMWx+061tW/cf7X5EO1FJGLXM
 lSFusmAz+SybHhr8UzwMeFyKI+l7TO/WyqQ59sl+o+qE+ZSLDZvCL5i7qsBGlSHh
 4dCAADFkzqPp1R3Uc8Yf7crssSErSn5XfvPBeRMzhsenxrK6F9VhZ8J1v/11Gxk=
 =yAeR
 -----END PGP SIGNATURE-----
 

Use more current platform terminology in README (#419)