Remove unnecessary rule and re-fix an old bug#844
Merged
andrewrk merged 1 commit intoziglang:masterfrom Mar 19, 2018
ice1000:patch-1
Merged
Remove unnecessary rule and re-fix an old bug#844andrewrk merged 1 commit intoziglang:masterfrom ice1000:patch-1
andrewrk merged 1 commit intoziglang:masterfrom
ice1000:patch-1
