Am 23.05.2016 um 09:03 schrieb Jacob Carlborg:
On 2016-05-23 08:52, Sönke Ludwig wrote:Fixed: #772 instead of #722Not pushed?
Pushed now, didn't notice that the push failed due to out-of-date local branch.
Sönke Ludwig via Digitalmars-d-announce Mon, 23 May 2016 00:10:47 -0700
Am 23.05.2016 um 09:03 schrieb Jacob Carlborg:
On 2016-05-23 08:52, Sönke Ludwig wrote:Fixed: #772 instead of #722Not pushed?
Pushed now, didn't notice that the push failed due to out-of-date local branch.