|
| From: | Emilien Klein |
| Subject: | [Health-dev] [bug #37788] `make install_man` not valid |
| Date: | Thu, 22 Nov 2012 20:38:24 +0000 |
| User-agent: | Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:16.0) Gecko/20100101 Firefox/16.0 |
Follow-up Comment #1, bug #37788 (project health):
Just noticed that Luis has already committed a fix:
http://hg.savannah.gnu.org/hgweb/health/rev/027cadedac33
Bug will be fixed with the next release.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?37788>
_______________________________________________
Message posté via/par Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |