[issue12941] add random.pop()

[John Feuerstein]

New submission from John Feuerstein <john at feurix.com>:

This patch against current hg tip (72314:92842e347d98) adds random.pop():

    pop(self, seq) method of Random instance
        Remove and return a random element from a non-empty sequence.

Includes test case.

----------
components: Library (Lib)
files: random_pop.diff
keywords: patch
messages: 143748
nosy: jfeuerstein
priority: normal
severity: normal
status: open
title: add random.pop()
type: feature request
versions: Python 3.4
Added file: http://bugs.python.org/file23120/random_pop.diff

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue12941>
_______________________________________