cubicweb/devtools/instrument.py
changeset 12821 fce106b9977d
parent 12567 26744ad37953