Follow-up Comment #2, sr #107541 (project administration):
This seems to be working again. A commit to libpipeline today worked
properly. I checked man-db and it seemed to have been triggered for me. I
then checked grub and it hadn't been triggered, but I made a trivial commit
and the web pages then updated.
As far as I'm concerned, you can close this ticket. Thanks!
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107541>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
