cubicweb/devtools/instrument.py
changeset 12693 5e7212209ea6
parent 12567 26744ad37953