I noted in #1294985 that that bug might be the root cause of this. I'm too used to Github's automatic cross-referencing that I forgot to note that here.
I noted in #1294985 that that bug might be the root cause of this. I'm too used to Github's automatic cross-referencing that I forgot to note that here.