On Tue, Apr 1, 2014 at 12:14 PM, Jürgen Spitzmüller <sp...@lyx.org> wrote:
> 2014-04-01 11:41 GMT+02:00 Vincent van Ravesteijn: > > What about scheduling Juergen's patch to some 2.1.x release (maybe not >>> 2.1.1). >>> >>> JMarc >>> >> >> Looks sensible. >> > > I propose I apply this to my own working branch and see if problems arise. > Then we could commit it early in the 2.1.2 or 2.1.3 cycle (if Richard > agrees). > > What is the patch policy in this case, BTW? Should I put the patch itself > to the boost directory in order to document how we have altered the > original source? > > Wouldn't "git log" not be enough to see which patches we applied ? Vincent
