+1 for adding ID 31 Maybe add the proper one but also keep the old to give people some time to update their stuff if this is a problem. There should be more than enough reserved IDs.
On 3/30/19 8:35 PM, Reyk Floeter wrote: > I like the idea of switching it to the proper ID. > > Reyk > >> Am 30.03.2019 um 20:31 schrieb Stuart Henderson <[email protected]>: >> >> curve25519 had a proper ID (31) assigned in 2016 but we still have >> the draft private-use ID in iked. Any thoughts on whether we can just >> cut across to the proper ID, or whether that will be too painful? >> Are many people using this already? >> >
