·
> On Wed, 12 Oct 2016, Philipp Gesang wrote:
>
> > It seems fixed now and the most recent commit does indeed have
> > Hans as the author.
>
> FYI, I have been mirroring your repo to github:
> https://github.com/contextgarden/context-mirror
>
> If you want, I can give you push access
Hi Philipp,
On Wed, 12 Oct 2016, Philipp Gesang wrote:
It seems fixed now and the most recent commit does indeed have
Hans as the author.
FYI, I have been mirroring your repo to github:
https://github.com/contextgarden/context-mirror
If you want, I can give you push access to the github
Hey Mohammad,
thanks for your message!
·
> The bitbucket mirror has not gotten updated since September 24. Is there a
> misconfiguration?
Sort of. I changed the bot after talking to Mojca at Kalenberg to
include Hans as the commit author in order to facilitate the
merging of various
Phillip,
The bitbucket mirror has not gotten updated since September 24. Is there a
misconfiguration?
—MHB
On Thu, Sep 22, 2016 at 4:01 PM, Taco Hoekwater wrote:
> Hi Pablo,
>
> > Op 22 sep. 2016 om 20:53 heeft Pablo Rodriguez het
> volgende geschreven:
> >
Hi Pablo,
> Op 22 sep. 2016 om 20:53 heeft Pablo Rodriguez het volgende
> geschreven:
>
>> On 09/21/2016 11:26 PM, Philipp Gesang wrote:
>> ·
>>
>>> Dear list,
>>>
>>> although latest beta seems to be from 2016.09.20 21:12, I get updated to
>>> beta from 2016.09.12
On 09/21/2016 11:26 PM, Philipp Gesang wrote:
> ·
>
>> Dear list,
>>
>> although latest beta seems to be from 2016.09.20 21:12, I get updated to
>> beta from 2016.09.12 18:27 when I run:
>
> The official download still has the 2016.09.12 timestamp:
> http://pragma-ade.nl/download-2.htm
·
> Dear list,
>
> although latest beta seems to be from 2016.09.20 21:12, I get updated to
> beta from 2016.09.12 18:27 when I run:
The official download still has the 2016.09.12 timestamp:
http://pragma-ade.nl/download-2.htm How did you get that other
date? I hope the git mirror isn’t