# Merge pull request \#13717 from GethDW/option-fix · gitcafe/zig

[View on GitCafe](https://git.cafe/gitcafe/zig/commit/a943422672a9f456a74c20b4c167107ccbadfb1a)

Repository: [gitcafe/zig](https://git.cafe/gitcafe/zig)

Visibility: public

Requested revision: a943422672a9f456a74c20b4c167107ccbadfb1a

Requested commit: a943422672a9f456a74c20b4c167107ccbadfb1a

Commit: a943422672a9f456a74c20b4c167107ccbadfb1a

Tree: 2dcfbbb91fe3683aee9dfea748c3e373f211c134

Author: Andrew Kelley

Committer: GitHub

## Message

```
Merge pull request #13717 from GethDW/option-fix

std.build.Builder: fix for Allocator changes
```

## Parents

- [94e751ad013915b7b2d8dbfdd0d708fe9f56f087](https://git.cafe/gitcafe/zig/commit/94e751ad013915b7b2d8dbfdd0d708fe9f56f087?format=markdown)

- [b1793c2b524b4d2e740c130d92ab9499c2b34152](https://git.cafe/gitcafe/zig/commit/b1793c2b524b4d2e740c130d92ab9499c2b34152?format=markdown)

[Source at this commit](https://git.cafe/gitcafe/zig/tree/a943422672a9f456a74c20b4c167107ccbadfb1a?format=markdown)