Issue #12451: pydoc.synopsis() now reads the encoding cookie if available, to
read the Python script from the right encoding.
V
Victor Stinner committed
e6c910e9537d405a11377a478556731b4eaec419
Parent: dc9b1ea
read the Python script from the right encoding.