Opened 7 years ago

Closed 7 years ago

#17679 closed defect (fixed)

stopgap for #12803

Reported by: jakobkroeker Owned by:
Priority: blocker Milestone: sage-6.5
Component: packages: standard Keywords: Singular
Cc: Merged in:
Authors: Jakob Kroeker Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: 130a142 (Commits, GitHub, GitLab) Commit: 130a1424a2a3c845c41077df8bd25e953e9796d9
Dependencies: Stopgaps:

Status badges

Description

stopgap for #12803

Change History (10)

comment:1 Changed 7 years ago by git

  • Commit changed from fe93de7b96c9599b2ef77202f3004fde1699ce1c to 31c73526fae647ada9f14beaa721e4e76507472c

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

31c7352added stopgap for 12803

comment:2 Changed 7 years ago by jakobkroeker

  • Status changed from new to needs_review

comment:3 Changed 7 years ago by jakobkroeker

  • Status changed from needs_review to needs_work

comment:4 Changed 7 years ago by git

  • Commit changed from 31c73526fae647ada9f14beaa721e4e76507472c to 9f3f635639a9b0418c24f8798bbecea057bb2223

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9f3f635added stopgap for 12803

comment:5 Changed 7 years ago by jakobkroeker

  • Status changed from needs_work to needs_review

comment:6 Changed 7 years ago by git

  • Commit changed from 9f3f635639a9b0418c24f8798bbecea057bb2223 to 130a1424a2a3c845c41077df8bd25e953e9796d9

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

130a142added stopgap for 12803

comment:7 Changed 7 years ago by jdemeyer

  • Reviewers set to Jeroen Demeyer
  • Status changed from needs_review to positive_review

comment:8 Changed 7 years ago by jdemeyer

Author name please

comment:9 Changed 7 years ago by vbraun

  • Authors set to Jakob Kroeker

comment:10 Changed 7 years ago by vbraun

  • Branch changed from u/jakobkroeker/stopgap.quotient.over.ZZ to 130a1424a2a3c845c41077df8bd25e953e9796d9
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.