Merge branch 'master' into fix-ho-mold-bunts

This commit is contained in:
Jared Tobin 2019-05-25 17:54:57 +08:00 committed by GitHub
commit d4706234fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8319,7 +8319,7 @@
::
{$bsld *}
:+ %tsls
relative
relative:clear(mod q.mod)
:+ %wtld
[%wtts [%over ~[&/3] p.mod] ~[&/4]]
$/2
@ -8328,7 +8328,7 @@
::
{$bsbn *}
:+ %tsls
relative
relative:clear(mod q.mod)
:+ %wtbn
[%wtts [%over ~[&/3] p.mod] ~[&/4]]
$/2