The double spend being discussed would have happened anyway, since despite it being prior to the fix (22/12/2018), the two TXs were 2 minute and 34 seconds apart.
Thanks for checking that. The 2 minutes seems to be a longer interval than I would have expected, however, you do have to go through a splash page to confirm the new connection, so it is something that I will have to watch out for in the future. Probably the best thing for me to do is to close the merit awarding page if I lose a connection. Once contact has been reestablished, then I can resubmit the award if it hasn't been recorded.
I was going to apologise to the community for this double spend, but the whole thing seems to be a bit petty for just 5 merits. The good thing is that this thread has allowed me to award some more merits, but I would have preferred to give them for political or technical help posts.