From 82f8fd492e03a40b9698ae2630bb93d6db4ce978 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 10 Jan 2012 13:00:25 +0000 Subject: Emphasise importance of Trac --- BUGS | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 2ec9b8a1..92aef309 100644 --- a/BUGS +++ b/BUGS @@ -10,6 +10,10 @@ and those which only apply to particular provers. The FAQ mentions other issues which are not necessarily PG bugs. +This list is incomplete and only occasionally updated, please search +on Trac for current issues. + + * Reporting bugs If you have a problem that is not mentioned here, please visit the -- cgit v1.2.3