[Savannah-help-public] [sr #107183] Manage web pages with something else than CVS

Update of sr #107183 (project administration): Open/Closed: Closed => Open Summary: GRUB web pages => Manage web pages with something else than CVS ___ Reply to th

[Savannah-help-public] [sr #107183] GRUB web pages

Follow-up Comment #3, sr #107183 (project administration): Hi, Could you leave the bug open then? This way at least situation is documented. ___ Reply to this item at: _

[Savannah-help-public] [sr #107183] GRUB web pages

Follow-up Comment #2, sr #107183 (project administration): I feel a bit guilty as I advised Robert to ask the Savannah hackers for this, although I knew in advance what the reply would be. At least he deserves some explanation why things are what they are. I'll try to describe that from my POV.