Or should I go 11 > 12 > 13?
Edit: Thanks for all the replies. I asked this out of laziness and apparently trying this is not a lazy thing to do. I’m not Bilbo Baggins seeking an adventure. Will go with 11 > 12 > 13 way, though might stay at 12 for a while at this point. You know, lazy. :)
Honestly, there were so many fundamental changes in the 13 upgrade for certain packages that I had to fix on a couple of machines that I’d be hesitant to try no-scoping the 11 > 13 upgrade.
I flew by the seat of my pants and managed to pull off 10 directly to 12, but I wouldn’t do it for this one.
Well, if there are issues like even in normal upgrade, it’s better not to jump on a thing like this.
Still, it’s good to know that this is technically possible, though it’s not for a lazy person who just wants to update his server. Gotta check Debian changelog.