Now merged. Cheers, Gerwin
On 05.08.2014, at 8:49 am, Gerwin Klein <[email protected]> wrote: > Hi Max, > > no problem, thanks for the patch! > > Cheers, > Gerwin > > On 04.08.2014, at 12:55 pm, Max R.D. Parmer <[email protected]> wrote: > >> This patch targets the core "seL4" repo. >> >> I idly submitted a PR on github before reading anything at all really >> (beyond checking to see if the issue was made more consistent in >> subsequent commits). Apologies if this is/was inconvenient. >> >> I saw some prior github discussion on whether "python2" or "python" is >> best'; IMHO, "python" is best as virtualenv allows the desired binary to >> be specified at env creation time. >> >> CLA forthcoming, I'm quite a long way from printers/scanners and all >> those sorts of things. >> -- >> @maximus_freeman 0x7D964D3361142ACF >> <0001-Use-usr-bin-env-for-all-python-bangpaths-to-enable-v.patch>_______________________________________________ >> Devel mailing list >> [email protected] >> https://sel4.systems/lists/listinfo/devel > > > ________________________________ > > The information in this e-mail may be confidential and subject to legal > professional privilege and/or copyright. National ICT Australia Limited > accepts no liability for any damage caused by this email or its attachments. > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
