> On 1 Aug 2017, at 11:21, Hannes Mehnert wrote:
>
> On 01/08/2017 11:14, Anil Madhavapeddy wrote:
>> I'm back and generating a release of the frontend tool now. I have run into
>> a number of ancillary changes, particularly unreleased changes in functoria
>> as well, so it'll take a few hour
On 01/08/2017 11:14, Anil Madhavapeddy wrote:
> I'm back and generating a release of the frontend tool now. I have run into
> a number of ancillary changes, particularly unreleased changes in functoria
> as well, so it'll take a few hours...
thanks! please include (after review, it works fine
On 1 Aug 2017, at 10:55, Hannes Mehnert wrote:
>
> Anil,
>
> On 27/07/2017 11:25, Anil Madhavapeddy wrote:
>> On 26 Jul 2017, at 18:56, Mindy wrote:
>>> Recently there have been many packages released which replace depopts and
>>> sublibraries with packages, rename packages to fit more clearly
Anil,
On 27/07/2017 11:25, Anil Madhavapeddy wrote:
> On 26 Jul 2017, at 18:56, Mindy wrote:
>> Recently there have been many packages released which replace depopts and
>> sublibraries with packages, rename packages to fit more clearly into an
>> established naming scheme, or consolidate packa
On 26 Jul 2017, at 18:56, Mindy wrote:
>
> Hi all,
>
> Recently there have been many packages released which replace depopts and
> sublibraries with packages, rename packages to fit more clearly into an
> established naming scheme, or consolidate packages into other places. In
> many cases c