---

Linux leap second issues being fixed: developer

Fixes are being readied to fix the problem in Linux that caused problems when an extra second was added to clocks at the end of June, according to a senior kernel developer.