On Wed, Mar 4, 2009 at 8:43 AM, Zack Weinberg <za...@panix.com> wrote: > On Wed, Mar 4, 2009 at 4:13 AM, Thomas Keller <m...@thomaskeller. >> ...the question is if we really need these options for anything else than >> commentary in the pot header... > > We don't really. I can do something about this later today.
Should be fixed in rev 917526a2db49bd943222be2994436846a37f9828. zw _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel