Stream: git-wasmtime

Topic: wasmtime / PR #1989 corrrect the files' directory index w...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 13:19):

ggreif opened PR #1989 from correct-dir-index to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 13:34):

bjorn3 submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 13:34):

bjorn3 submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 13:34):

bjorn3 created PR Review Comment:

        // since we are outputting DWARF-4, perform base change

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 13:34):

bjorn3 created PR Review Comment:

            let dir_index = file_entry.directory_index() + directory_index_correction;

view this post on Zulip Wasmtime GitHub notifications bot (Jul 07 2020 at 14:01):

ggreif updated PR #1989 from correct-dir-index to main:

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->


Last updated: Dec 23 2024 at 12:05 UTC