|
| From: | pkx166h |
| Subject: | Re: pushed wrong branch |
| Date: | Fri, 31 Jan 2020 21:20:19 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
On 31/01/2020 21:02, Jonas Hahnfeld wrote:
I accidentally pushed my branch for issue #5702 (Disable C++ exceptions) instead of issue #5690 (Tiny fixes for extractpdfmark). I immediately reset staging and it now has the correct commits, fingers crossed that patchy did not yet pick up the wrong refs... Sorry for any inconvenience this may cause! Jonas
We'll soon find out. Starting a patchy-staging run now. ;) James
| [Prev in Thread] | Current Thread | [Next in Thread] |