Merge pull request #2536 from dredozubov/enable-hreader-lens

Re-enable hreader-lens
This commit is contained in:
Jens Petersen 2017-06-01 10:06:55 +09:00 committed by GitHub
commit fe134cf685

View File

@ -2414,7 +2414,7 @@ packages:
"Denis Redozubov <denis.redozubov@gmail.com> @dredozubov":
- tracy
# - hreader-lens # bounds: hreader
- hreader-lens
- schematic
"Yuji Yamamoto <whosekiteneverfly@gmail.com> @igrep":