chiark / gitweb /
Fix up 2abd3537 to rename connect_core everywhere