[m-dev.] deleting tags_high

[Zoltan Somogyi]

On Fri, 15 Jun 2018 03:47:29 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> No, go ahead.

Done. The diff is simple enough not to need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.hightags
Type: application/octet-stream
Size: 1045 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20180614/223b9bf5/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.hightags
Type: application/octet-stream
Size: 20634 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/developers/attachments/20180614/223b9bf5/attachment-0003.obj>