#13535: Fix instrospection/... in live documentation with the flask notebook
------------------------------------------------------------+---------------
Reporter: nthiery | Owner:
jason, mpatel, was
Type: defect | Status:
needs_info
Priority: major | Milestone:
sage-duplicate/invalid/wontfix
Component: notebook | Resolution:
Keywords: agregation, bobo2012 | Work issues:
Report Upstream: Workaround found; Bug reported upstream. | Reviewers:
Nicolas M. Thiéry
Authors: | Merged in:
Dependencies: | Stopgaps:
------------------------------------------------------------+---------------
Changes (by kcrisman):
* status: positive_review => needs_info
* upstream: Fixed upstream, but not in a stable release. => Workaround
found; Bug reported upstream.
Comment:
I have changed this to "reported upstream, developers acknowledge bug".
Nicolas, we wouldn't close a ticket for an upstream bug until we actually
merged that functionality into Sage - it isn't sufficient to just report
the bug! Who knows if it would ever be fixed? Luckily, we have a "good
relationship" with sagenb :) but with other spkgs, especially ones that
are essentially not being developed any more, that may not be the case
(see for instance #13947). It doesn't seem reasonable to grant sagenb
some sort of "most favored" status that assumes all bugs will eventually
be addressed.
In fact, this isn't even ''fixed'' upstream yet - just a pull request -
though presumably it will be merged into a devel release of sagenb
relatively soon.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13535#comment:8>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
