summaryrefslogtreecommitdiff
path: root/rddb
diff options
context:
space:
mode:
authorChristian Pointner <equinox@helsinki.at>2015-12-22 22:01:47 (GMT)
committerChristian Pointner <equinox@helsinki.at>2015-12-22 22:01:47 (GMT)
commit5ef7fd6e20f360ff370a5e7e082b5d004c599fdc (patch)
tree32f45f6cadeb28927235697843ef9d9d6192ffdf /rddb
parentba5e2bbc79d613d995ad508d9dab818d4ab8112e (diff)
session is now safe to be used even if it is about to be removed
Diffstat (limited to 'rddb')
0 files changed, 0 insertions, 0 deletions