#12713: input_server crash at boot
-----------------------------------+----------------------------
Reporter: Pete | Owner: nobody
Type: bug | Status: closed
Priority: normal | Milestone: R1
Component: Servers/input_server | Version: R1/Development
Resolution: duplicate | Keywords:
Blocked By: 12412 | Blocking:
Platform: All |
-----------------------------------+----------------------------
Comment (by Pete):
Replying to [comment:10 waddlesplash]:
Dupe of #12713.