platform: add linux_version() #56367

assignee = None
closed_at = <Date 2011-05-23.16:41:03.851>
created_at = <Date 2011-05-23.12:25:26.370>
labels = ['library']
title = 'platform: add linux_version()'
updated_at = <Date 2011-05-23.22:24:25.959>
user = 'https://github.com/vstinner'

activity = <Date 2011-05-23.22:24:25.959>
actor = 'python-dev'
assignee = 'none'
closed = True
closed_date = <Date 2011-05-23.16:41:03.851>
closer = 'lemburg'
components = ['Library (Lib)']
creation = <Date 2011-05-23.12:25:26.370>
creator = 'vstinner'
dependencies = []
files = ['22079']
hgrepos = []
issue_num = 12158
keywords = ['patch']
message_count = 10.0
messages = ['136621', '136625', '136626', '136627', '136632', '136633', '136638', '136652', '136678', '136706']
nosy_count = 6.0
nosy_names = ['lemburg', 'pitrou', 'vstinner', 'neologix', 'rosslagerwall', 'python-dev']
pr_nums = []
priority = 'normal'
resolution = 'rejected'
stage = None
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue12158'
versions = ['Python 3.3']