30 Nov
2023
30 Nov
'23
12:16 p.m.
On Thu Nov 30 12:14:15 2023 +0000, Zhiyi Zhang wrote:
Let's add an else branch and print a WARN in it. This is a stub so we don't want to silence it too much.
I just added the `else` branch (and rebased the MR)