[set] Remove TODO items not worth pursuing
authorBehdad Esfahbod <behdad@behdad.org>
Sun, 15 Oct 2017 21:01:31 +0000 (17:01 -0400)
committerBehdad Esfahbod <behdad@behdad.org>
Sun, 15 Oct 2017 21:01:31 +0000 (17:01 -0400)
commit0cf7d957b7ffb17c4cec75b631c9829327ab5d52
tree5645e6df86c8c24d3c0839fcd4423445f7242416
parent10d43658e7655b36cb86e674dde8af4036b7cc52
[set] Remove TODO items not worth pursuing
src/hb-set-private.hh