Read-only release history for Device-Regulator-Plasmatronic