tree 8a85800b4d843e5ab12ffd8a2874c9bdd71739fc
parent c192ba261d77ad7f0a744fb90b01e4a5b63938c4
author Arnaud Durand <arnaud.durand@unifr.ch> 1566427383 +0200
committer Arnaud Durand <arnaud.durand@unifr.ch> 1566427383 +0200

Restrict clock promotion to global