#10057: Upgrade sagenb
-------------------------------------+-------------------------------------
Reporter: jason | Owner: jason, was
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.5
Component: packages: | Resolution:
standard | Merged in:
Keywords: sd35.5 | Reviewers: Jeroen Demeyer
Authors: Karl-Dieter | Work issues:
Crisman | Commit:
Report Upstream: Fixed upstream, | 14d329164ce9731014d3d6e5a2ae1bbcc9a9b3f8
in a later stable release. | Stopgaps:
Branch: |
u/kcrisman/ticket/10057 |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by kcrisman):
* status: needs_work => needs_review
* reviewer: => Jeroen Demeyer
Comment:
Okay, it was a forced push but should be okay now. Same address for the
updated spkg. Here is the diff.
{{{#!diff
diff --git a/sagenb/misc/misc.py b/sagenb/misc/misc.py
index 88b3eef..5a647f7 100644
--- a/sagenb/misc/misc.py
+++ b/sagenb/misc/misc.py
@@ -20,8 +20,6 @@ Check that github issue #195 is fixed::
#############################################################################
from pkg_resources import resource_filename
-from babel import Locale
-from babel.core import UnknownLocaleError
def stub(f):
def g(*args, **kwds):
@@ -517,6 +515,8 @@ def translations_path():
return os.path.join(SAGENB_ROOT, 'translations')
def get_languages():
+ from babel import Locale
+ from babel.core import UnknownLocaleError
langs = []
dir_names = [lang for lang in os.listdir(translations_path())
if lang != 'en_US']
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/10057#comment:43>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
