[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
The following reply was made to PR pkg/47152; it has been noted by GNATS.
From: Jaap Boender <jaapb%kerguelen.org@localhost>
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into
Date: Tue, 4 Dec 2012 16:51:17 +0000
I'll pass that one on upstream, thanks.
Main Index |
Thread Index |