message no. 171575
Posted by Caterpillar in #github at 2019-04-11T12:21:04Z
Do you know if it is possible to edit https://github.com/BOINC/boinc/pull/3028 in order to replace the commits in it with this one? https://github.com/Germano0/boinc/commit/e8b3c913e4e3f066c179a2e84e0e9595a5937f8e