GitHub repository: roll-wg/eliding-dio-information
Created: 2019-10-14T16:59:28Z
Description: Synchronisation of configuration and other state that may be elided and missed