utils.py
changeset 11677 1e2add816314
parent 7865 eb55045524be