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

Reply via email to