Activity
From 19 Dec 2016 to 17 Jan 2017
17 Jan 2017
15 Jan 2017
- 17:47 0.50 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)
- What should the default behaviour be?
11 Jan 2017
- 15:02 1.50 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- Magic phrase
10 Jan 2017
- 11:20 0.20 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- Workaround?
- 11:12 2.00 hours (Bug #591 (In Progress): Problem with template instantiation and order of include directives)
- It's not a bug, it's a feature!
09 Jan 2017
Also available in: Atom