Hi, On Thu, Feb 14, 2013 at 9:59 AM, eberhard speer jr. <[email protected]> wrote: > ....I just had a look at the latest resources commit on GitHub. > Surely there *must* have been some mistake(s) !...
What's the URL of that commit? -Bertrand
Hi, On Thu, Feb 14, 2013 at 9:59 AM, eberhard speer jr. <[email protected]> wrote: > ....I just had a look at the latest resources commit on GitHub. > Surely there *must* have been some mistake(s) !...
What's the URL of that commit? -Bertrand