Autore: intrigeri Data: To: The Tails public development discussion list Oggetto: Re: [Tails-dev] Please review and merge
feature/liveusb_ui_improvement
sajolida@??? wrote (20 Nov 2013 17:26:54 GMT) : > I made a tiny documentation change with 42ed77b, make sure to get that
> commit and maybe merge again.
Please merge current devel into that branch first, as you've modified
a file that has been renamed since then.