Official issue number.

This commit is contained in:
Aaron Suen 2019-10-13 09:38:07 -04:00
parent 8cffc156ba
commit a4f53947a2
3 changed files with 3 additions and 1 deletions

View File

@ -20,6 +20,8 @@ to the project!
through walls and other terrain in our MP server.
- #8141: We want cleaner player name labels, and to move
the touchtip from screen-space into node-space.
- #9043: This bug requires NodeCore to maintain a workaround for
the engine in its own code.
- #7020: This bug requires NodeCore to maintain a workaround for
the engine in its own code.

View File

@ -43,7 +43,7 @@ setmetatable(nodecore, {
})
include("issue7020")
include("issue_rotate_node")
include("issue9043")
include("util_misc")
include("util_falling")