On Wed, Aug 09, 2017 at 12:20:17PM +0200, Guillermo Polito wrote:
> On Wed, Aug 9, 2017 at 11:09 AM, Pavel Krivanek <[hidden email]>
> wrote:
>
> We have several pull requests validated successfully by the infrastructure.
> They need to be reviewed by humans:
>
> https://github.com/pharo-project/pharo/pull/75 >
>
> This one has a merge coflict.
This is also the subject of a current discussion, see subject
"FileSystem fix integration"