Closed iherman closed 6 months ago
Although the WG discussion on #1455 did not formally conclude (due to a lack of meeting time), I have the feeling that we were heading for a consensus to remove the sha3 hashes from the vocabulary table. This PR just does that.
Preview | Diff
Editorial, multiple reviews, changes requested and made, no objections, merging.
Although the WG discussion on #1455 did not formally conclude (due to a lack of meeting time), I have the feeling that we were heading for a consensus to remove the sha3 hashes from the vocabulary table. This PR just does that.
Preview | Diff