-
Committer:
Vincent Ladeuil
-
Date:
2011-04-04 17:34:37 UTC
-
mto:
(5743.5.1 config-concrete-stores)
-
mto:
This revision was merged to the branch mainline in
revision
5832.
-
Revision ID:
v.ladeuil+lp@free.fr-20110404173437-qksec0538jc7496g
Rename store.set to store.set_option as it's clearer in this context and will act as a safe-guard against unintended uses (set() will be used for stacks).