tree 3a4c705e0cf21bbe833dae04cae522dd67b64752
parent 318f573be4df3f3aa03b92b8539776975f6220a8
author Andrew Walbran <qwandor@google.com> 1544113857 +0000
committer Andrew Walbran <qwandor@google.com> 1544114996 +0000

Documenting other possible return value of hf_mailbox_send.

Change-Id: I5c8b81bd6cdc12ba346897e5cba036f9d302be34